Add-ons • Re: Adding a search engine

I pondered the same right away and sent that support address a request for the source which is just claimed to be hosted on Github but isn't linked.

They also seem to want to provide a "tor search index" more than anything else, but it's all very vague. I don't know what to think.