>
> One last nit from me: since you now include the changes to the manual,
> this NEWS entry should be marked by "+++" before it, per the note at
> the beginning of NEWS.

Of course - added. Thanks for patience :)

--
Theo