I used to be able to download individual resolution materials (per-material, I could download 1/2k, 1k, 2k, 4k, 8k as needed).
Where is that feature in 4.2? Do I now have to download the entire library at a time? It was a lot more convenient to just download different resolutions of materials as needed...