Change the markup in the index.wiki page from HTML to wiki.  Extend the
wikitheory.wiki page.  Other documentation tweaks.