Refresh the hints when the URL changes. Might refresh before new content has loaded, as it often happens when the URL changes. Need to find a different way to detect that. Closes #13.
The keyboard shortcut to activate Key Jump can now be changed in the options page. Closes #4.