Re: [Wikitech-l] ExtensionDistributor on mediawiki.org is down