This site uses the xmp tag (deprecated in HTML 3.2, removed in HTML5) which I found interesting and had never seen!
https://developer.mozilla.org/en-US/docs/Web/HTML/Element/xm...
It's similar to the pre tag but doesn't require the escaping. I guess you just have to make sure you don't have a closing xmp tag :)