See <https://wg21.link/P2752R3>.
`Add that this proposal is already DR’ed in GCC trunk.`
Probably resolved by r14-1500-g4d935f52b0d5c0.
Resolved by Jason; let me update the docs at least.
Docs updated.