Recently I’m seeing that a data-sourcepos attribute is inserted into the HTML output of the Dingus. I don’t know if this is intentional, but if it is, I think there should be a way of turning it off. I can understand its relevance in AST, but not in HTML.
Having that in the HTML allows us to do the fancy thing where (in Preview mode) the part of the document that corresponds to the block where the cursor lies in the source pane is highlighted.
Ah, I didn’t know that. Can that be hidden somehow though? If not, well,
I apologise for bothering you, I’ll just use an HTML cleaning tool
(oops, I didn’t think of that before).