Fix formatting for blog publication.

Unfortunately, github pages don't use the same Markdown style as
GitHub itself. In particular triple-backtick quoting style does
not work.