The links in https://www.http4k.org/performance/ are outdated. They are referring to 2020 stats.

thanks - we needed to update it anyway because round 22 has just come out