Manual.md: sync with reality.