all.html: check output wrapped in <pre></pre>