I'm on a Pixel 6a with an OTA release of Android 13 stable. I had Developer Options with 13a beta 4 before I upgraded to a stable release, but now the menu option is no longer visible.
I tried tapping "build number", but it does not respond to touch interaction (no focus, feedback, etc.). Tapping it 7 times does nothing.
Is there a new way to enable Developer Options in Android 13 stable, or am I experiencing a bug?