Hopefully last gitignore tweak