diff --git a/gpl-lgpl.tex b/gpl-lgpl.tex
index e6857ee97300e30d89427858c526a64d049fb5ed..97c79641816a9c6d6186be7c6f191dd7d2d1f138 100644
--- a/gpl-lgpl.tex
+++ b/gpl-lgpl.tex
@@ -3216,23 +3216,9 @@ pathological case\footnote{Theoretically, a user could collect copyright
 %% is required by trademark law, and may not prohibit what would constitute fair
 %% use.
 
-% FIXME:  removing additional restrictions
+% FIXME-LATER:  Say removing additional restrictions
 
-% FIXME:  probably mostly still right, needs some updates, though.
-
-Section 7 requires a downstream user of a covered work to preserve the
-non-GPL terms covering the added parts just as they must preserve the GPL, as
-long as any substantial portion of those parts is present in the user's
-version.
-
-% FIXME: minor rewrites needed
-
-Section 7 points out that GPLv3 itself makes no assertion that an additional
-requirement is enforceable by the copyright holder.  However, section 7 makes
-clear that enforcement of such requirements is expected to be by the
-termination procedure given in section 8 of GPLv3.
-
-% FIXME: better context, etc.
+% FIXME-LATER: This text may be useful later:
 
 Some have questioned whether section 7 is needed, and some have suggested
 that it creates complexity that did not previously exist.  We point out to