> Perhaps it's time to revive the Reference Manual (reference.sgml) as an
> extra, parallel document with only the reference pages.
That would be fine (in my mind a better choice). *That* wasn't done
originally simply because the other part of the User's Guide was not
very big, but both pieces could now stand on their own.
- Thomas