Let's do another pass to change these, I think these only came up in this PR as I was reapplying one of the other commits to the 1.2 manual.  I haven't been editing it myself!