manual.adoc: misc tweaks.