From eeaf85134557b474bef747f5fa22233b22f8a9e6 2014-03-20 12:40:19
From: Bradley M. Kuhn <bkuhn@ebb.org>
Date: 2014-03-20 12:40:19
Subject: [PATCH] Write paragraph on "unmodified Program", relating it to User Product issue.

---

diff --git a/gpl-lgpl.tex b/gpl-lgpl.tex
index 16be0c8935800a4936a5941af67a7cf31989f5e3..d4d116b7112dcfe1cc7cdd0f1e5b821b26fbc7b4 100644
--- a/gpl-lgpl.tex
+++ b/gpl-lgpl.tex
@@ -2534,7 +2534,13 @@ copyright fair use, or the equivalent under applicable law.  These rights are
 compatible with, and not in conflict with, the freedoms that the GPL seeks to
 protect, and the GPL cannot and should not restrict them.
 
-% FIXME: phrase ``unmodified Program'' appears due to User Products exception
+However, note that (sadly to some copyleft advocates) the unlimited freedom
+to run is confined to the \textit{unmodified} Program.  This confinement is
+unfortunately necessary since Programs that do not qualify as a User Product
+in GPLv3~\S6 (see \S~\ref{user-product} in this tutorial) might have certain
+unfortunate restrictions on the freedom to run\footnote{See
+  \S~ref{freedom-to-run} of this tutorial for the details on ``the freedom to
+  run''.}
 
 % FIXME: propagate and convey