Patch has already been mostly approved at:

https://gcc.gnu.org/pipermail/gcc-patches/2023-September/630326.html
https://gcc.gnu.org/pipermail/gcc-patches/2023-October/634139.html
... But this latest revision includes:
* Changes based on the review from Richard Sandiford (thank you!)
* A rebase to latest trunk

So I'm hoping this is good to go in as-is :)