Request: Allow downloading specific mic positions

I run a main rig with a lot of storage, but I also run a mid-tier laptop with only 500gb of storage available. While I know I can use Core, I would like to have the extra instruments in Pro. It's also possible to delete mic positions but it's not helpful if I don't have enough storage to download the library in the first place. If I know I will only ever need to use Mix 1 and maybe CTAO positions I should be able to download those and run the library on my laptop, and as a bonus maybe you guys can save some money on server costs 😉

This should also apply to all libraries running the dedicated plugin.