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.