EZ> Of course!  Every feature should be documented, and this one is no
EZ> exception.  I suggest to start with NEWS.

My goal with that question was actually to find out *where* the
developer docs should go, not whether they are necessary.  I think we
all agree on the necessity.  I can try a first stab at them when I know
in what context they'll exist.

Regarding NEWS specifically, Aurélien is absent at the moment and will
be back next week. Maybe Philipp would like to provide the NEWS entries?
I will write them if neither of them is able or if it can't wait until
next week.