Thanks @crtrott ! There was one more change request that's not in this PR. It's OK to merge this one and do that later if you like, or we can just put it in this PR -- it's up to you.
[mdspan.submdspan.mapping]
Add a drafting Note to explain that 4.2 is a drive-by fix, an intentional deviation from the current Draft that LWG reviewed and approved.
Thanks @crtrott ! There was one more change request that's not in this PR. It's OK to merge this one and do that later if you like, or we can just put it in this PR -- it's up to you.