Re: Tweaks to lispref manual?