Going to add db.txt just this once in order to see if modification on the local system will trigger it to be staged during git add. If it does, then I see why .gitignore doesn't work for files already included in the git repository