On 31/01/2016 20:48, Yuri Voinov wrote: > Confirmed. It's non-functional for a very long time and will probably stay there for more. You can use google and other search engine per "site" search function for now. Eliezer * I know that these search engines are not always objective but this what we have now.