0001 pushed. Here's 0002 again for cfbot, with no changes other than
pgindent cleanup.
I'll see what to do about Instrumentation->nfiltered{1,2,3} that was
complained about by Andres upthread. Maybe some additional macros will
help.
--
Álvaro Herrera PostgreSQL Developer — https://www.EnterpriseDB.com/