Note that IMO it's not worth migrating the end-users' documentation at this stage: it can be done mostly mechanically, and doing it now would send us deep into merge conflict hell until this branch is merged. refs: #8183