I think this commit has the actual change to gitignore. Also slightly further updates to user_score_rating. Not complete yet.