@mscroggs I've done that. I can't see a page in the mediawiki docs explaining what each of the built-in extensions does, which I'm surprised by