I think it's time for the 7.3 release!

I will (try to) prepare the release on 2023-04-08 i.e. this Saturday, unless anyone objects.

If there are any blockers, let me know.