I've created these two Firefox search-plugins. These may be useful to other users as well. How to embed them: https://developer.mozilla.org/en/Creating_OpenSearch_plugins_for_Firefox#Autodiscovery_of_search_plugins Martin Engler