Documentation strings and function.

[David C. Plummer <DCP@QUABBIN.SCRC.Symbolics.COM>]

When I brought up the multiple-doc-string issue when we were discussing
parse-body, everybody seemed unanimous that the current book intended
that the first string was the only doc string and that subsequent
strings were part of the executable body (and therefore declarations
after the second string were an error).

Anyway, I was then and am willing to continue believing multiple doc
strings should be OK, though I don't have strong enough opinions to take
sides.  If multiple doc strings are allowed, what does parse-body (if we
ever decide on what that should be and do) return?  Should it return a
list of the doc strings (in the order encountered)?  Should it return
one string with newlines between the individual strings?  What does
(documentation 'foo 'defun) return?  A list of strings?  One string with
newlines or some other separator?