Suddenly I got this badge in IDE:
Everything compiles cleanly, yet still IDE shows me this and an error message “Arduino.h: No such file or directory at line 1 col 21”. Restarting IDE does not change anything, the badge and message reappears upon 1st project save.