Wiki Dump

I used to have a Wikimedia wiki. But it turns out I didn't use it very much. So I captured its content into html pages. Many of these pages are of no use to anybody, including myself, but it's not worth my time to cull them. So here they are.