3 ms·

Thanks! It has been 2 years in the making to this point, straight after Google Code Search closed and I was feeling the pain of its loss.