Comment by jawns

10% faster is a pretty nice improvement, especially in 2020.

Here's a little Wikipedia stub about Profile-Guided Optimization, for those who'd like to read more about the technique.

https://en.wikipedia.org/wiki/Profile-guided_optimization