Thread:User talk:GWicke/Normalization of wiki text/reply (5)

Great! Thank you very much!

I noticed one more (small) thing: on of the headers says "Diff between original Wikitext (green) and round-tripped wikitext (red)" but the HTML is using for the new text and for the old one. I think it would be more semantically correct if these were interchanged (because it is the old text that is being deleted, not the new one), and then red style should be in the and the green in the.