Gitignore some configuration files for convenience
Handle another "special file"