A bit awkward to use, but this is not the developer's fault. In an ideal world, it would directly use the already defined search engines in the browser, but the WebExtension API does not give access to that. This add-on offers a nice alternative.

Thank you for the great work!