Recommend to add a step under Basic Setup > Installation steps 5. Restart Arduino IDE. I wasn't able to do