doc/manual.txt: more tweaks.