HTML -> Markdown + highlighting