What has happened to search.w3.org?

[Jordan Clark]

Dear W3C Team,
 
I was just wondering: what has happened to the W3C's dedicated search engine at 
http://search.w3.org? Is it gone for good, or is it undergoing a makeover?
 
I know that you can search the website form the main website, but I found the 
'search' sub-domain much more straightforward and easy to use. I, for one, hope 
that it makes a comeback in the near future!
 
Regards,
 
Jordan Clark
http://profile.jdclark.org