[cctalk] Re: LispM/Symbolics manuals