OK, a small detail with Ventura (and Sonoma), the System Preferences gave way to System Settings and everything moved around. One of the more annoying places is with keyboard modifiers, the Option …