.gitignore: quick update of .gitignore