[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