3 ms·Thanks, I wget'd all the PDFs, but this is much better due to how they were named.by tomlong 10y agoThanks, I wget'd all the PDFs, but this is much better due to how they were named.