Not in the Arduino Library Manager Index?

[carlosperate]

Looks like this library is not longer available in the index:
https://github.com/arduino/library-registry/blob/main/repositories.txt

Was it removed on purposed? If not, could we re-add it?

[carlosperate]

Hi @bboyho, just wondering if this library could be submitted to the Arduino libraries registry?
https://github.com/arduino/library-registry/