| 
							
							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").
 |