This isn't covered by the above .gitignore, is it?