Gerade erreichte mich eine Email:
The new version is out! (and it's got the fix for the <html tag>
defect in it -- thanks again for pointing it out to me.
-david parsons
Dann kann ich ja heute abend auch wieder die Smartypants-Erweiterung mitkompilieren, die verursachte nämlich einen Fehler sobald man von Markdown-Syntax auf HTML-Syntax geswitched ist, was aber in der laut Markdown Spezifikation nicht so sein sollte.