I wrote:
> As I said, I think this code is based on fuzzy thinking.
... or, more charitably, it may just date from before standard_planner's
plaster-a-Gather-on-top logic worked the way it does today. But in
any case I think it's wrong now.
regards, tom lane