Arduino IDE 1.8.19 in Tools menu Port grayed out

Hi @getimmer and @westfw. Do you have the "STM32 MCU based boards" platform (AKA "STM32duino") installed?

I ask because there is a report here that the latest version of the platform causes the problem you reported for Arduino IDE 1.x users: