As always, many thanks to the developers!
One minuscule issue: Doing (on Linux)
./configure --enable-build-doc
on an updated cvs checkout and then
make pdfdocs
works fine, but the date of the documents is given as November 2008.
(I'm pretty sure it's the current version nevertheless, because
'mreverse' is included.)
thanks,
sven