Recent releases missing from Arduino Library Manager due to name change

[per1234]

Libraries are locked to the name value specified by the library.properties metadata file in the release at the time of
the Library Manager submission.

Any release with a different name is rejected by the Arduino Library Manager indexer.

Please submit an issue at https://github.com/arduino/Arduino/issues/new to request the name be updated in the index.
Thanks!

References:

• https://github.com/arduino/Arduino/wiki/Library-Manager-FAQ#why-arent-releases-of-my-library-being-picked-up-by-library-manager
• https://github.com/arduino/Arduino/wiki/Library-Manager-FAQ#how-can-i-change-my-librarys-name

[per1234]

PS: make sure future releases use compliant version number in library.properties:
https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format