Consensus was reached to remove editor-specific globs from .gitignore.