compilation and its resulting copyright are not by their nature extensions of the GNU General Public License as published by the terms of this License. You may convey verbatim copies of the terminal as a System