Assumed Python 3 throughout docs/intro.

Various small fixes while I was proof-reading.