Updated 2013-07-19-mousetrap-keyboard-shortcuts.md