A note on copyright: I have tried to ensure that all of the files in this release are either my original work (the majority of files) or else that I have the right to redistribute them. If you find that I have accidentally included something that should not be distributed in this way, please let me know and I will immediately remove it from the archive.