Not at all what I want to do. A static IP address is a good idea for that, but I already have that via static DHCP entries.
What I want to do is explicitly tell the ArduinoIDE the IP I want to flash to. Usually it autodetects all OTA-capable nodes on the network, but the devices I want to flash are not on the same network (but routed), so they are not detected.