ceylon/ceylon-compiler — comment on commit be1fdbb1839608286493ed90a46a48f875c896fd
File: src/com/redhat/ceylon/ceylondoc/CeylonDoc.java line 255
By FroMage:

I think that if you want to make it HTML5 you have to get rid of the XML PI, otherwise it's XHTML.