Re: [Mediawiki-l] ping mediawiki-l@lists.wikimedia.org