ghp: rename doc/, fix .gitignore