Remove obsolete .gitignore entries.