minor bug fixes: wikipedia search engine, options-page-link - new .crx