[11:39] Hm, 7z does a good job indeed: https://catalogd.archive.org/metamgr.php?f=histogram&group=size&w_collection=*wikiteam*&w_subject=*MediaWiki* [11:40] If I exclude the ten biggest wikis and delete the stuff as soon as I compress it, I could download all those at once with just 362 GiB space