Heikki Linnakangas <hlinnaka(at)iki(dot)fi> writes:
> Committed, thanks for the review!
FWIW, this *has* been complained of before:
https://www.postgresql.org/message-id/flat/f5bb021f-8f45-4825-9b4a-39241ea27a2f%40jakobs.com
Don't know if that changes your calculation on whether to back-patch.
regards, tom lane