dann müsstest du beim DNS Lookup eben den 3ten Parameter weglassen. Das sind aber im Fehlerfall 6 Sekunden ;-(
Übrigens hab ich die 2.4.0 auch über die IDE installiert. einmal das JSON im "Zusätzlichen Boardverwalter-URLs" gelöscht, dann wieder reingegeben, dann war im Boardverwalter auch die 2.4.0 direkt in der IDE anwählbar. Es ist 2.4.0 ... nicht die zwei release candidates ...