Workaround for GitHub not displaying markdown in HTML block elements (fixes #10)
(HTML comments are now used, and replaced by mdhtml.rb when building the website)