> On 20 May 2016, at 01:12, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>
>
> I'm a bit inclined to think that what this is really about is that we
> made the wrong call on the BUFFERS option, and that it should default
> to ON just like COSTS and TIMING do. Yeah, that would be an incompatible
> change, but that's what major releases are for no?
After thinking about it, i think this is a better idea.