I'm running Arduino IDE v1.8.8 at the moment, and would like to leave it at that for a while. I'm about to do my first WiFi project, and wonder what version of the ESP8266 core would be most compatible with IDE v1.8.8. If it matters, I'll be using a genuine Lolin D1 Mini. And I apologize if this is a ridiculous question.
Install the current upstream Arduino IDE at the 1.8.7 level or later