[www-html-editor] <none>

Hello.

Somewhere in the xhtml1-strict.dtd:

<!-- pre uses %Inline excluding big, small, sup or sup -->

IMHO

<!-- pre uses %Inline excluding big, small, sub or sup -->

Best regards.