Google Code Search still (unofficially?) available at alternative URLcode.google.com4 pointsnow14 years ago