Properly HTML-format comments before displaying.

This makes sure to e.g. preserve newlines and quoting blocks.

Closes #224.