Making alt+/ work as 'goto jump box' in Google Chrome.  It might be alt, it might be ctrl, in other browsers.

Fixes #253.