A better replacement for your browser's ctrl-F / cmd-F function