Since I'm basically retired, my website is of course not being update much
anymore with any batmud related information. I may or may not keep what's
there up indefinitely, but if there was any stuff on there of value to people,
I'd just like to restate that all the Batmud related stuff I've written is
public domain, so feel free to copy it anywhere you like.