Retire doc/ (superseded by Manual.md).