History browser/searchid.mli