A proper mirror of WikiWikiWeb.