housecleaning: remove stale paths in .gitignore