Manual.md: document update_*