[19:30] <Nemo_bis> We're looking into rewriting our wiki download script: https://meta.wikimedia.org/wiki/WikiTeam/Dumpgenerator_rewrite