Thank you for the elaborate explanation. I never intended to take on that task, but if I had, you would have convinced me.
I hope using GNU11 suits everyone.
Yes, just to be clear (this has split into so many different threads that I'm no longer sure what the latest decision is?), I only (prematurely) objected to forbidding GNU extensions. Otherwise, I'm totally in favor of switching to C11 and not aware of any difference between the versions that would cause a problem for us.