if this page is still broken, paste this into the url bar:

javascript: document.body.innerHTML=document.body.innerHTML+"<style>pre { white-space: pre-wrap; }</style>";