Repo chores

Don't worry, if I find anything else to be pedantic about I can open another PR if you've already merged this one.