This whole `<pre>` is too much info for the website. Delete.