@MitjaN what a great synopsis. As I am so invested in the libraries it is often hard to take a step back and develop a good summary, as you have done here.
You're quite right, the current PR solution is pretty darn good. Especially now that we have checker scripts which do most of the repetitive work for us
This needs to be advertised more, once you have it setup correctly it's a very powerful feature.
Users are of course free to source libs from wherever they please, or create their own
The footprint and symbol libraries once compressed are very small.
The entire footprint library set is 24MB once compressed.
Tutorials / documentation would really help a lot. There are a lot of users asking the same questions over and over again.
The library team will be focusing on transferring the library data to the new repository format before v5 - that is our priority and any "download tool" external to what is already available won't be here for a while.
If anyone wants to step up to the plate and develop such a system - that'd be fantastic