[adestefan]

I was a bit obtuse in my original comment. Ctrl does work fine. I then tried Alt since that's in the position of the Cmd key, but that didn't work (which is a good thing because then it doesn't eat the browser's tab switch keys.)

Of course the same is also true on Windows.

[sidyadav]

I've updated the Shortcuts help screen on Windows :)

[adestefan]

Still missing in one place. When you hide the menu the little tool tip says to use cmd + E to restore it.

[V-2]

It also recommends Cmd + S as a way to enforce synchronization