More docstrings fixes
... COLLECT-DOCUMENTATION should always return RESULT, even when
the package itself is undocumented;
... make the unique name reflect the package being documented,
not the home package of the symbol, so reexports
... get special-operators more right;
... also include one or two of these things in the manual so we
get a feel for what's going on.