What Themes are being used for these Discourse forums?

[Bas (Bas van Leeuwen)]

Looks like you have a theme that is overriding stuff.

If you enable safe mode (go to /categories?safe_mode=no_themes), it seems to work just fine