An extensible Markdown editor