Edit in:
My mistake, see post underneath this for the correct solution to this problem.
---
Using the instruction from https://www.brainy-bits.com/ir-remote-arduino/ to get the header file worked.
That is moved away the “RobotIRremote” and put the https://github.com/z3t0/Arduino-IRremote there instead.
Been a while since doing software so maybe I missed something in the instruction doc but with this done the Nybble code passes verify.
Also a good link to change ownership on the Arduino IDE if using the install package which set "wrong" ownership" when installed on windows.
https://www.faqforge.com/windows/take-ownership-of-a-file-or-folder-by-command-in-windows/
I don’t know how it shows up in your list.
I finally got the right one but now the adafruit can’t be found by the arduino program.
I think I might delete everything and start again 🙄