I'm not sure if this is the right category, but here goes.
Recently I managed to get OTA using the Arduino IDE to work and even across subnets. Now there's one small issue.
The NodeMCU I uploaded the OTA-sketch to initially had a different IP-address and hostname than it has now, and because of that(?) I now see the same NodeMCU twice in the port menu under network ports, one entry with the old and one with the new IP.
I've been going through various dir's used by the Arduino IDE, but I cannot find where the Arduino IDE stores the list of network-ports so that I can delete the double one.