How I Created These Pages

I edit these pages using a private MoinMoin wiki running on an Apache web server. I modified the theme code slightly, so that the navigation bar and copyright notice are automatically added to each page. Using GNU wget, I convert the wiki contents to stand-alone HTML pages.