I've tagged this for back port to 3.14; it doesn't need a news file, but because it's going to involve a back port, we do need a ticket so we have a point of coordination for multiple commits making the "same" change. That would also be a good opportunity to give a high level summary of what has changed - from the look of it, it's the Mac constants, plus some code formatting changes - but it would be good to have a high level summary to confirm that (and then update the PR title to startgh-XXX with the ticket number):

There's also something going on with SBOM checks on Windows - from the look of it, you've updated all the hashes for the individual files, but not the hash for the source HACL* tarball that contains the origin of these changes.

👍 Thanks for those changes - that all looks good now! The merge back to 3.14 should happen soon after this PR lands; watch the comments on this PR for updates.