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/
