Ask HN: Pro option missing from Gemini model selector?

For almost a week now the 'pro' model has been missing from the Gemini model selector; only 'fast' and 'thinking' remain. This is with an active AI pro subscription, and seems to be the case for a sizeable group of people (it's being mentioned on reddit).

Maybe an upvoted (if this affects you as well) hacker news post about this helps to put this on the radar at Google, or maybe one of you even knows of steps to somehow fix this. Thanks!