Re: [Mediawiki-api] Maintain up-to-date mirror