I’m doing a bit of website management. This might result in some minor unavailability of my website: hang in there, I’ll be back.
Update: I appear to be up and running again on a new server. Go ahead and send me some send me an email if you note any troubles.