Strange. I've never heard of this problem before. I don't think it would be related to the ESP32 thing. You don't have two different esp8266 URLs in your File > Preferences > Additional Boards Manager URLs do you?
You can try this:
Click the link on the line following File > Preferences > More preferences can be edited directly in the file. This will open the Arduino15 (or similar name depending on OS) folder.
Navigate to the packages/esp8266/hardware/esp8266 folder.
You will see two folders. One is named by the version of the package you currently have installed, the other is named by the version of the package you previously had installed. Delete the folder with the previous version name. Please be very careful when deleting things on your computer. When in doubt back up!
pert:
Strange. I've never heard of this problem before. I don't think it would be related to the ESP32 thing. You don't have two different esp8266 URLs in your File > Preferences > Additional Boards Manager URLs do you?
No, only the one I've reported earlier:
The folder ( C:\Users\MiKo\AppData\Local\Arduino15\packages\esp8266\hardware\esp8266 ) only contains one sub folder, the one for the actual version = 2.4.0
Please find attached screenshot.
I think I've deleted the 2.0.0 folder ealier, because of some other problems - not sure about the reasons