@CyberSocialist I think you can clone their repo quite easily. But since it's huuuge I don't think torrent makes much sense because you'd need to either download it as a whole or laboriously select files. Something like dat:// protocol would be more effective I guess.