2 ms·

I would't call a decently working search a very specific need :). But kudos to GitHub for all they have done.