Hey, that's perfectly valid for arguing with your friend about which one to deploy on our server, all things equal.

I do this sort of thing to see what tools are faster all the time. ripgrep, ag(silver searcher), grep, MongoDB was one we were arguing about for a while recently.