Ludovic Courtès (2015-12-30 18:40 +0300) wrote:

[...]
> OK.  I think the documentation is updated in the branch, right?

Yes (however not all of these variables are/were documented)

> Could you in a separate commit prepare a NEWS entry for 0.9.1 that
> succinctly lists these differences?

Sure.  Is the attached patch sufficient?  If it is, I suppose this
branch can be merged now, OK?