[thoughtomator]

The proposed fix is something John or Jim can do in about 5-10 minutes. Nobody else can do anything about it.

My post #17 above gives the technical details of what should be done.

I personally use DuckDuckGo as my main search engine, though I have to admit that Google often gives better results, especially if I have a complicated search to perform.

[Future Useless Eater]

Thank you