Markdown editor bug triggered by half-deleted unicode characters

I verified two backspaces are necessary to remove that particular type of character in a Markdown document.

And note, this is not a behavior specific to DEVONthink. There are other reports of having issues deleting emoji in other apps, e.g.,…