Seehttps://git.postgresql.org/pg/commitdiff/082c9f5f761ced18a6f014f2638096f6a8228164
Please send comments/corrections before Sunday.
regards, tom lane