Slight update to our .gitignore file [ci skip].