Did some cleaning up of this site.

First off, downloads should all work now. Sorry they’ve been variously broken for so long. I finally tracked down the problem. (Turns out it was obvious, but I was dumb. So it goes.)

I also deleted about 500 comments, all of which were spam-ish. Many, I’m sure, were not. So I’m sorry if your comment got deleted. There’s also still some comment spam. Dang.

Oh. New site look. Using the Wabi Drupal theme. I like it. I keep the orange, but it’s a lot less ugly.

Look for more updates to the site in the future. And, as always, thanks for reading. Both of you. You know who you are.