Add more manual-related files to .gitignore