.gitignore: minor cleanup