@@ -2160,7 +2160,8 @@ GPLv2~\S4 is GPLv2's termination clause. Upon first examination, it seems
strange that a license with the goal of defending users' and programmers'
freedoms for perpetuity in an irrevocable way would have such a clause.
However, upon further examination, the difference between irrevocability
and this termination clause becomes clear.
and this termination clause becomes clear. (See~\ref{gplv2-irrevocable} for
expanded discussion of GPLv2 irrevocability.)
The GPL is irrevocable in the sense that once a copyright holder grants
rights for someone to copy, modify and redistribute the software under terms
@@ -2321,7 +2322,10 @@ rights\footnote{While nearly all attorneys and copyleft theorists are in
decade, regard an almost moot and wholly esoteric legal detail.}.
\section{GPLv2 Irrevocability}
\label{gplv2-irrevocable}
This section digresses briefly to examine the manner in which GPLv2\S\S~4--6
interact together to assure that the license grant is irrevocable.
There are two legal theories why a contributor cannot terminate their license
grant. First is an argument that the text of the GPL prevents it; second is
that a contributor would be estopped from succeeding on an infringement claim