hello 2.2 manual is now GFDL with cover texts

[Santiago Vila]

Hello.

While looking at hello 2.2 to package it for Debian I noticed that the
license for the manual has changed since the last version:

 Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.2 or
 any later version published by the Free Software Foundation; with no
 Invariant Sections, with the Front-Cover Texts being ``A GNU Manual,''
 and with the Back-Cover Texts as in (a) below.  A copy of the license
 is included in the section entitled ``GNU Free Documentation
 License.''

This is troublesome for Debian, as we consider GFDL documentation free
enough for main only if it does not have invariant sections,
front-cover texts or back-cover texts.

Is there any chance that the license becomes less restrictive in a
future release? GFDL without invariant sections, front-cover texts or
back-cover texts would be probably the smallest possible change, but
dual-licensing the manual with GFDL and GPL would be ok for us as well.

Otherwise I would have to remove the manual from the source for the
Debian package, and either it would disappear, or it would have to be
packaged separately for non-free.

Thanks.