Sunsetting searx.tilde.green

We’ve noticed SearXNG seems to have gotten always captchaed, so we’ve decided to stop running it.

In order to have it still work if you’ve configured the searx.tilde.green url as a search engine, it will redirect to a 4get (src) instance.