disable codemirror search which add-on which seems to fight with browser search all the time