Aha! I got the DOM down to about 900 elements by replacing a bunch of <br> with \n and setting `white-space: pre;`

Now to try and duck below the 800 elements recommended by https://developer.chrome.com/docs/lighthouse/performance/dom-size/

#HTML