Comment by enki

good point! google definitely is part of what makes us so much more productive programmers today! (despite google codesearch going away)