Re: Lispref version info.