The same thing struck me as well. This is one of the best optimization professionals on the planet, showing up with a huge improvement, and receiving some mispl

The same thing struck me as well. This is one of the best optimization professionals on the planet, showing up with a huge improvement, and receiving some misplaced arrogance. The lesson here is to always, always watch your own review tone, and not make this mistake. The other lesson is that when a PR shows up with this kind of technical information attached to it, spend the 60 seconds it takes to Google for "lemire".