Re: GPLv3 or later -- Lispref files refers to text in lispref.text