diff --git a/gpl-lgpl.tex b/gpl-lgpl.tex
index ede00eb3dd6f41af1e516c3f0d8ca1a115590f74..1dfa4a0f29ef30692ed6375ea6eb95cbf1543cdc 100644
--- a/gpl-lgpl.tex
+++ b/gpl-lgpl.tex
@@ -3675,12 +3675,20 @@ such linking.
 \section{GPLv3~\S14: So, When's GPLv4?}
 \label{GPLv3s14}
 
-% FIXME Say more
-
 No substantive change has been made in section 14. The wording of the section
 has been revised slightly to make it clearer.
 
-% FIXME; proxy
+It's unclear when the FSF might consider publishing GPLv4.  However, this
+section makes it clear that the FSF is the sole authority who can decide
+such.
+
+The main addition to this section allows a third-party proxy to be appointed
+by contributors who wish someone else to make relicensing to new versions of
+GPL when they are released.  This is a ``halfway'' point between using ``-only''
+or ``-or-later'' by consolidating the decision-making on that issue to a
+single authority.
+
+% FIXME-LATER: better proxy description
 
 \section{GPLv3~\S15--17: Warranty Disclaimers and Liability Limitation}