Use Wikidpad (3): Publish HTML pages

Although Wikidpad is personal wiki tool and does not really allow multiple users to update the wiki pages, Wikidpad can be a useful tool for generating HTML pages.