Markdown: don't escape text in attribute values of verbatim HTML