Arduino IDE - Port disabled (grayed out) for 8266

There was no "Other Devices" section at all on any of the Win7 machines.