Note about how I'd like to make the HTML version formatted a bit better,

using stuff from what Texinfo does.

gpl-lgpl.tex

@@ -19,6 +19,12 @@
 % https://creativecommons.org/licenses/by-sa/4.0/legalcode to receive
 % the license text.
 
+% FIXME-LATER: I should make a macro like the Texinfo @xref stuff for places
+%      where I'm saying ``see section X in this tutorial'', so that the extra
+%      verbiage isn't there in the HTML versions that I'll eventually do.
+%      Maybe something like that already exists?  In the worst case, I could
+%      adapt @xref from texinfo.texi for it.
+
 \newcommand{\defn}[1]{\emph{#1}}
 
 \part{Detailed Analysis of the GNU GPL and Related Licenses}