(minor) Git, untracking file ignored in .gitignore