Baring objections, I’m going to cut 5.3.0 very soon. I merged Stefano’s things. I see a couple of other low hanging PRs (#7593 and #7604) but it’s not clear to me we should hold much longer