Miscellaneous things

Well there had to be a miscellaneous section didn’t there! Here are all the minor changes (in no particular order) that don’t fit into any of the other categories in this document.