Merge pull request #5474 from pks-t/pks/gitignore-cleanup gitignore: clean up patterns from old times