Jeremy Cherfas

Disable Markdown, and nothing changes in the bookmarklet editing window. So there IS an issue.