> So this is definitely a bug IMHO and an oversight in 1ff3180ca01. +1> to back-patch it to PG19.
+1, the patch looks good to me.