+This manual is licensed under the GNU Free Documentation License, with
+no invariant sections. At your option, it is also available under the
+GNU Lesser General Public License, as published by the Free Software
+Foundation, version 3 or any later version.
+