We have an English-prose version of the diff against the pre-SpecTec spec in the explainer. This needs to be "rebased" onto the new SpecTec version of the spec used in Wasm 3.0 and onwards.
First step is merging upstream Wasm 3.0 into this repo, which is #47
