I was recently asked to look at a change one of our developers made to RavenDB. He was chasing a particularly slow query with spatial sorting (a “find me all the nearest Thai restaurants” style of query). He found the root cause and had a fix ready. The fix gave us a 25% improvement in query processing time, and the change was about 15 lines of code.A few years ago, I would have said: great job, merge it, ship it, let customers enjoy the faster queries. But I got a hunch that we could do something different. We asked the...