YSK: adding a file to .gitignore does not stop Git from tracking it if it was already committed