Arduino "Ports" Suddenly grayed out

Looks like everything is back to working again this morning.

Hopefully they have learned something from this and will remove that dependency from the IDE to avoid future issues...