This file is free software; you can redistribute it and/or modify it
under terms of the GNU General Public License as published by the
Free Software Foundation; either version 3, or (at your option) any
later version. It is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY -- or FITNESS FOR A PARTICULAR PURPOSE.

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