Comment Comment by justinhj Git grep is really fantastic, if github search came close I'd be delighted parent justinhj 11 years ago