With the extra month I'd like to do the reorganization of the docs into
one <Set>, which was discussed a while ago. Then we'd only have one HTML
set to build and don't have to ship redundant versions.
--
Peter Eisentraut peter_e(at)gmx(dot)net http://yi.org/peter-e/