unfinished new feature: respond to double-click on web-pages and start search; minor bug-fixing