... at
https://git.postgresql.org/pg/commitdiff/b70d9de77f337828ca3a0a3064a6827b1ce68977
As usual, please send corrections by Sunday.
regards, tom lane