shortcutkey.js: add "View links" shortcut key