What version of ESP8266 core to install

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

Arduino core for ESP8266 WiFi chip