Rename some "python3" symbols to "py3", as the command name.
Documentation updates.
8 files changed