Network ports not availabe for OTA, albeit network connections exist in WiFi domain.

System Windows 10
Arduino IDE 1.8.13

Sometimes, for various reasons, the WiFi network connection is delayed upon rebooting Windows.
Windows shows first a disconnected world symbol and connects automatically later (delayed by approximately 30 seconds) to the WiFi.

When that happens, the Arduino IDE 1.8.13 will not show up any available OTA ports, and only displays serial ports.

This effect occurs *irrespective of which time you start the Arduino IDE 1.8.13*, even if you start it much later to a time where the WiFi connection is absolutely available.

Restarting the Arduino IDE does not help, restarting the computer does not help neither.
There is something like a flag set "no network was available on booting" and then the IDE would not provide the network ports.

This is extremely annoying, since you cannot use OTA, even if you have the *right network live* upon starting the Arduino IDE.

Could be possible to get information on how to prevent this behaviour?
What is actually the Arduino IDE sensing to provide or not provide network ports?
Could it be changed to a situative test at the time of starting the IDE?

Thank you for your help!
Laszlo

Start by reproducing the issue with Arduino IDE 1.8.13 on Windows 10 after WiFi becomes available late during reboot. Investigate how the IDE discovers OTA network ports and determine whether discovery is retried after the network connection appears; done means OTA ports are available without restarting the IDE.

Written by the indexing model from the issue text.