Extensions to `isearch.el'