Texinfo exception
Texinfo-exception
Text in italicized blue is omittable (see Matching Guidelines B.3.5). License or exception text will match to the text for the specified identifier if it either includes or excludes this omittable text.
Text in red is replaceable (see Matching Guidelines B.3.4). License or exception text will match to the text for the specified identifier if it includes a permitted variant of this replaceable text. The permitted variants can be found in the corresponding regular expression as shown in title text visible by hovering over the red text.
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").