**************************
GNU General Public License
**************************

On Debian GNU/Linux systems, the complete text of the GNU General
Public License can be found in
:file:`/usr/share/common-licenses/GPL-3`.
