A duplicate copy of the library was submitted rather than following the standard procedure for requesting a name change
request.
The presence of this entry no longer serves any value and only clutters up Library Manager.
The library's readme describes it as follows:
> Just an example of what it takes to provide an Arduino library. This is not meant to be a serious implementation.
Libraries should only be registered if the library maintainer believes they may be of value to the Arduino community.
Registration of a library that is not expected to be of value to the community is pointless, and irresponsible since it
pollutes the Library Manager listings and increases the burden on the Library Registry maintainers.
There has only been one commit to the library in the last eight years, and that commit only added a comment, three years
ago. So there isn't any indication that the library's status can be expected to change.
It seems that a compliant release of this library was never created, meaning that although there is a registry entry,
the library is not actually listed in the libraries index.
The registration occurred eight years ago and the repository has since either been deleted or made private, so a release
of the library will never come. Thus, removing the registration will not cause any harm.
The existence of this "ghost registration" is problematic because the duplicate name check system uses the libraries
index. Since the library is not present there, the check doesn't see that the name "RGBLED" has already been registered
and thus will allow registration of additional libraries with that name. In addition, its presence may cause confusion
to the registry maintainers since we expect each registration to have a unique name.
Since the registration of the library provides no benefit and causes harm, it is removed.
