@roel For me it has a little FN symbol: share.cleanshot.com/vjy46qpuf...

I think the idea is to bring macOS and iOS in line. And the key name is “option” and the symbol is “⌥”, there is no alt on macOS keyboards. (Apart from the few years where there was, but we don’t talk about that!)