Let users reliably preserve raw HTML when editing highlights, ideally via properly supported Markdown code blocks or another dedicated escaping method, instead of having HTML stripped or altered.