Don't HTML-Escape JSON-Schemas in <pre><code>...

...saves some more space :)