GitHub Flavored Markdown editor with PDF export: <a href="https:&#x2F;&#x2F;github.com&#x2F;srpeck&#x2F;markdowned" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;srpeck&#x2F;markdowned</a><p>The editor happens to fit in an HTML file &lt;9k (excluding the behemoth browser...:).