I'm going HTML to attributed string rather than Markdown, because the 10C HTML is canonical, while its Markdown is "whatever 10C does".

Getting inline images to display correctly is my next challenge.