... at
https://git.postgresql.org/gitweb/?p=postgresql.git;a=commitdiff;h=7889889e4ea81e4e93a7b3e0d138f831e9dbd48b
As usual, please send comments/correction by Sunday.
regards, tom lane