This has had a week with no objections, so I’m going to formally say this can be implemented via a PR to the spec.
@sbidoul can you please ensure that the PR includes a changelog section in the spec that links back to this thread, so that the approval for the change is easy to locate? And ping me on the PR so that I can approve it there.