Literal asterisks in markdown

Hmm. This looks like a bug in our Markdown library:

Glad you found a workaround. I would expect a double backslash to work, also, but I think we need to patch Marked to fix that.