A stack of doc changes

Many (mostly small) changes to the docs, located either while running test builds or while working on the installation doc.