R: Road to solve the delay on the Arduino IDE

I purposely sign-up, just to say thanks Federico Fissore :slight_smile:
I followed the steps exactly, and it resolved my 'Tool' menu lagging problem.