Matthew Palmer wrote: > To facilitate that, I've put an explicit licence notice at the bottom of the > page if someone wants to incorporate it into another Debian document > (alternate licencing can be arranged if needed). The GPL is the GNU General Public License. There is no "GNU Public License" - you may want to fix that for clarity's sake.