Keyboard shortcut inspired by GitHub. Press / to focus the search bar.
These are versions of this script where the code was updated. Show all versions.
Fix focus being taken away from textboxes because I forgot that document.activeElement.tagName is such an ancient API that its strings are in all caps
Fixed bug that made it fire even if you were typing in a text box
