manual.txt: misc tweaks/improvements.