Cannot open source file "arduino.h"

There seems to be a very similar problem here

The OP seems to have a history of posing questions, and never returning to them, to say whether or not the proposed solutions worked (or not) - I'll leave this thread now.

I'm also a little concerned that "a programmer for closing in on 50 years" can't properly form their own URL.