Hi all, I have multiple UDOOs with me and I would like to upload the same sketch just changing the IP on my Arduino IDE. According to "Upload a sketch over Network" I should change the IP in platforms.txt but I don't want to CHANGE from 192.168.7.2 because it's often useful, but I would like to choose between more choices. Close Arduino IDE, change IP, reopen arduino IDE is a bit annoying. Is it possible?