Correcting some overzealous .gitignore rules