For the archives' sake:
I've moved this discussion to a new thread on pgsql-hackers,
https://www.postgresql.org/message-id/flat/840.1669405935%40sss.pgh.pa.us
regards, tom lane