This page is for anything I’ve done that I’m choosing to put in the public domain. Please feel free to do whatever you want with the stuff here. It would be good if you could host these files yourself if you have the means to do so, that way if this site ever disappears there will still be copies available for people.