"gitignore"s are more complicated than I thought.
Hopefully this is the last fix needed.