Yeah, it’d have to be fixed manually there – this only fixes new Discourse instances.
It’s now 10 days later and this has not been fixed.
Which is surprising because I thought pages on Discourse could easily be changed by any admin the same as editing a forum topic.
OK fixed. WORLD SAVED!*
* but only the children in the world, sorry adults