Ah good catch.  We usually .gitignore this file.