Manual.md: describe clean phase and do_clean().