On Mon, Jul 15, 2013 at 07:19:23PM +0200, Florian Weimer wrote: > Did you mean to write "GFDL" instead of "GPL" somewhere? You are right, of course. Thanks. > > - a verbatim copy of GPL-1 at the end of the manual Here, read GFDL instead of GPL-1.