Miscellaneous Inform 7 extensions that I've written