Adafruit and Sparkfun are only partial and very late, and we also have a lot of software in the Libraries Manager.We tried manual updates, but they were really hard to stick with, so we wanted Arduino to provide a REST API that we could do through CI or automated scripts.