> I plan to push and backpatch this patch early next week, barring any objections.

Thank you for your work on this. It’s sincerely appreciated. 

eric