<pre>: removed xml:space, is already default; result(s): avoid improper nesting of <pre> within <p>;
<pre>: removed xml:space, is already default;
result(s): avoid improper nesting of <pre> within <p>;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle