Permission is granted to copy, distribute and/or modify this document
under the terms of the @acronym{GNU} Free Documentation License,
Version 1.3 or any later version published by the Free Software
Foundation; with no Invariant Sections, with no Front-Cover texts
and with no Back-Cover Texts.  A copy of the license is included in the section entitled
``@acronym{GNU} Free Documentation License.''
