* .gitignore: minor