Fix current name of the Python 3 binary on Unix (#12896).

Also fix some markup and typos.