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