PR https://github.com/data-apis/array-api/pull/585 added the `versionadded` and `versionchanged ` admonitions to the draft website. Can they be synced up with the `2022.12` site?