@@ -3269,6 +3269,7 @@ between licensor and licensee under local law do not necessarily matter to
the working of the license.
\section{GPLv3~\S10: Explicit Downstream License}
\label{GPLv3s10}
% FIXME-LATER: this is a punt: need more time to write!