Is it just me or does that section not really explain why?

The reasons given here felt more insightful to me: https://box2d.org/documentation/md_faq.html

> Box2D is designed to be portable and easy to wrap with other languages, so I decided to use C11. I used C11 to get support for atomics.