A tiny extension that only does one thing: downloads the current page's html content as a Markdown file (.md).
