Hello again, I have now committed 0001.
I got some off-list review of 0004; specifically, Michael Paquier said it looked OK, and Tom Lane found another bug. So I've added a fix for that in what's now 0003. Here's v2. I plan to commit the rest of this fairly soon if there are no comments. ...Robert
v2-0002-Add-new-pg_walsummary-tool.patch
Description: Binary data
v2-0003-Repair-various-defects-in-dc212340058b4e7ecfc5a7a.patch
Description: Binary data
v2-0001-Add-new-function-pg_get_wal_summarizer_state.patch
Description: Binary data
