Fix #505: OS specific keyboard shortcut tips