Finally ISO seems to have been published C23!
https://www.iso.org/standard/82075.html
Obviously this is a big achievement to which a lot of people contributed. Thanks for all the hard work that went into this. We should defilively put up a page with all the contributors.
You'll observe a price and a date that are just hilarious. My hope is that this is the last C standard for which we have to go through ISO.