Trivial touchup of .gitignore for commit bump