Fix #505: OS specific keyboard shortcut tips
Merge pull request #529 from stennie/issue-505

Fix #505: OS specific keyboard shortcut tips