There’s also an open-source utility for the job that I’ve been using constantly: Pandoc. Pandoc calls itself "a universal document converter," with support for dozens of markup formats and document ...

<style type="text/css">.jade{text-indent: 0em; margin-top: 0; margin-bottom: 0; font-family: "courier", "courier new", "monospace";}</style></style><div class="jade ...