docker pull currently accepts -t to pull one tag, but also accepts the repo[:tag] syntax, so we ought to update documentation and the arguments prompt, and add a deprecation warning when -t is used.