Manual.md: more tweaks.