Resynch with new .gitignore