Remove duplicate shortcuts in shortcuts.html.
Merge pull request #119 from fangjue/remove_duplicate_shortcuts

Remove duplicate shortcuts in shortcuts.html.