What has happened to search.w3.org?

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
  		 	   		  

Received on Sunday, 17 April 2011 10:05:56 UTC