This fell through the cracks at the time, but just to close the loop on
this thread:
This was reported again at
https://www.postgresql.org/message-id/18658-7dab125ec688c70b%40postgresql.org,
and fixed in commit 1a43de5e0a.
--
Heikki Linnakangas
Neon (https://neon.tech)