We better sort the .gitignore lines, in case it gets larger