.gitignore: remove too obvious comments