On https://docs.arduino.cc/language-reference/en/variables/utilities/PROGMEM the important [note block]https://github.com/arduino/reference-en/blob/master/Language/Variables/Utilities/PROGMEM.adoc?plain=1#L33) about it being legacy is not properly displayed for me:
The issue obviously seems to be related to the bold only - but since the preview on github displays it properly because it does not work with the ==== Important Note! marker I am not sure how to even approach fixing it, so I just want to report it.