Deep search

Deeper GitHub research for repositories and people.