Import some old articles from Wordpress blog
Allow hiding date for individual pages

The "hide-date" element, when non-empty in content headers, disables
outputting the date in the generated pages. This is useful e.g. for index
pages.