I didnt know this but the semantics do seem odd as we have <pre> and <code> right?
https://developer.mozilla.org/en-US/docs/Web/HTML/Element/xm...
I think HTML should have a dedicated tag for this, but sadly <script> is the closest thing that I know of.