The Collective Code Construction Contract was written a few years ago, before main became the default branch in most free software projects. We have a wiki page for Magic Stone that is a quick amendment but what I don't know is why I didn't submit this as an issue upstream.

Today I did then made a pull request and true to form, it was merged lightning quick.

https://github.com/zeromq/rfc/issues/192

There's some fun follow-on work to fix deploys over there but it's overall neat to see a protocol working long-term.