As a special exception, when this file is read by TeX when processing a Texinfo
source document,
you may use the result without restriction. This Exception is an additional
permission under section 7
of the GNU General Public License, version 3 ("GPLv3").