Yeah the team running the platform internally was amazing to work with and did incredible work with just a handful of resources.
The efficiency for scale of mediawiki is hard to beat.