I suggest we keep gitignore in ~, rather than in the repo. There are a lot of file types that it makes sense to ignore, so let's leave that to personal preference.