A quick way to discover which individual wikis, as well as which deployment groups, contain a given extension in Wikimedia production.