A look at what went into building the world's largest public code search index.