User Agent: Mozilla/5.0 (Windows NT 6.1; Win64; x64; rv:73.0) Gecko/20100101 Firefox/73.0
Steps to reproduce:
Whitespace isn't preserved in the code tags.
The whitespace should be preserved. The examples in that paragraph have the double space purposely. Adding white-space: pre to code css in load.php works.
CC to Jorg K please.