Unrelated stuff

Using GitHub to keep a record of this because I'm going to delete it
locally