Tweak "tags" entry in .gitignore