Arduino IDE 1.8.19 in Tools menu Port grayed out

Using Arduino Avrdude, stk500, Bootloader issues
16

Yep. Installing the STM32 boards broke the new copy, and removing it again fixed it.

(How is that even possible?)