Problema con el gestor de libreria

Hola Compas.

Necesito la librería "IRremote by shirriff" la busque por el gestor de librería del Arduino ID, pero no me aparece. Quería preguntar si la borraron y si saben con que librería la puedo remplazar?

Gracias de antemano.

Y cual es el problema de usar la librería IRremote que esta disponible en el Administrador de Librerías?
De lo contrario, encuéntrala, la descargas, y la instalas tal como la descargaste en formato .zip o la descomprimes en la carpeta usando Extraer aquí o usa la opción en el Administrador de librerías que te permite instalarla desde el zip