rm irrelevant entries from .gitignore; fixes #10609