> I have been wondering if it was mediawiki. It feels like it, though it > does not look like it. > I looked for acknowledgements, and did not find them. If you look at the URLs for pages (in particular special pages), they match MediaWiki URLs, so I think it's just MediaWiki with a whole new skin.