Thanks to @bredelings for reporting this. The text after <pre> should be a multi-line block, but it's wrapped in an unexpected <code> element that suppresses line wraps:
Looks like some kind of HTML cleanup gone awry? This should render as a norm PRE element, instead of the CODE element that's being inserted... by whom?
Thanks to @bredelings for reporting this. The text after
<pre>
should be a multi-line block, but it's wrapped in an unexpected<code>
element that suppresses line wraps:Looks like some kind of HTML cleanup gone awry? This should render as a norm PRE element, instead of the CODE element that's being inserted... by whom?