MediaWiki: Special characters in <pre> blocks doubly encoded

[ysangkok]

See the section https://github.com/bitcoin/bips/blob/master/bip-0075.mediawiki#protocolmessagetype-enum

In the <pre> block, you see { for { . If you check out the raw view, you can see that the markup source simply contains a {. What warrants the display of the HTML character encoding in the rendered view? Surely this is a bug in the renderer?