I am really annoyed that / doesn't do what ctrl-f does in Chrome. This is me seeing if that can be rectified with an extension.