I was talking about this extension: https://tosdr.org/ https://tosdr.org/ When you install this, it automatically provides its own search option in the default

I was talking about this extension: https://tosdr.org/ https://tosdr.org/ When you install this, it automatically provides its own search option in the default search engine menu. Its search is an instance of searx.