Misc clean-ups to the documentation which got lost in the migration.