Rename pull runtime option in playbook to fetch (and --pull CLI option to --fetch)
Rename the pull option (runtime.pull and --pull) to fetch (runtime.fetch and --fetch). If the old name is used, automatically map it to the new name automatically to allow for a gradual transition.
The term fetch is more intuitive than pull in this context. Antora is fetching updates to remote resources. Since Antora is effective updating it's local cache, it's not the same at git's pull, which updates the user's worktree. Thus, we don't want to confuse the two terms.
Edited by Dan Allen