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