Turns out you can wildcard in .gitignore. Who knew?
Header comment tweaks.