Just tried it, and it does work exactly that way, because the Docker menu -> settings choice opens an application called Docker Desktop, which can be switched t

Just tried it, and it does work exactly that way, because the Docker menu -> settings choice opens an application called Docker Desktop, which can be switched to-and-from with the keyboard. I'm not arguing with your basic point, because I think that Mac strategies for keyboard navigation are simply different, not worse, but for your specific example, keyboard is fine.