... are committed at
https://git.postgresql.org/gitweb/?p=postgresql.git;a=commitdiff;h=5996cfc4665735a7e6e8d473bd66e8b11e320bbb
Please send comments/corrections by Sunday.
regards, tom lane