Re: License of the GNU Pascal documentation?