@@ -2552,6 +2552,8 @@ GPL'd code.
\subsection{Additional Permissions}
% FIXME: rework and fix formatting.
The GPL is a statement of permissions, some of which have conditions.
Additional terms, terms that supplement those of the GPL, may come to be
placed on, or removed from, GPL-covered code in certain common ways. We