I&#x27;d like to try compressing DOI urls; what was the file used? <a href="https:&#x2F;&#x2F;archive.org&#x2F;details&#x2F;doi-urls" rel="nofollow">https:&#x2F;&#x2F;archive.org&#x2F;details&#x2F;doi-urls</a> has 11 files; on my machine they are 4.3GB combined (after uncompressing), and there is no a file which is 2.8 GB uncompressed.