> On 01/18/2012 12:29 PM, Nicholas Clark wrote: >> PS Sadly the 15th Jan seems finally to have arrived in Google's timezone, >> as they've shutdown codesearch. Shame. Turning off something useful. Apparently it's not totally shutdown: http://googlesystem.blogspot.com/2012/01/google-code-search-still-available.html It's still available here (at least at the moment): http://code.google.com/codesearch Rob.