5 ms·

yeah, github has a nice search now, the only complaint is that you need to be logged on to use, besides this is really nice.