Re: "pgoutput" options missing on documentation

[Emre Hasegeli]

> Fair enough. I think we should push your first patch only in HEAD as
> this is a minor improvement over the current behaviour. What do you
> think?

I agree.