Oh. Well, that's nice I guess. Thanks for the links!
Maybe the page that Mint takes us to when we go the normal route to install extensions (Manage Search Engines/Get more) - http://www.linuxmint.com/searchengines.php
- ought to mention this somewhere, rather than including a tiny list and just saying
Some of the most popular engines were added above. To add one of them, click on its logo. If your favorite engine does not appear on this page, please contact Linux Mint for it to be included.
Perhaps a postscript. 'Or I suppose you COULD just go and install them straight from the Firefox site if you REALLY WANT TO.' Something like that? I sort of took the current page at its word, that I should be contacting the Mint team to suggest additions, if I wanted to use any other search engine.