Working on the tilde-in-URL problem (WIP)

dosp-survey.ltx

@@ -496,9 +496,28 @@ code reuse in proprietary software projects, but only for a limited
 time, something Wilcox-O'Hearn characterized as a compromise between
 permissive and reciprocal open source licensing models.\footnote{See,
 for example, the presentation at
-\otsurl{https://tahoe-lafs.org/\textasciitilde{}zooko/tgppl.pdf}.}
-% TODO: Get rid of the {} that shows up in the link target
-% Karl TODO!
+\otsurl{https://tahoe-lafs.org/$\sim$zooko/tgppl.pdf}.}
+% TODO: Karl is working on getting a fully functioning tilde here.
+% 
+% The problems with \textasciitilde are that it a) looks bad (too
+% high), and b) in the underlying URL (i.e., what you browse to if you
+% click on the URL in the text in the PDF) doesn't have a "~" there
+% but instead has the raw LaTeX code.  I've tried playing around with
+% the definition of \otsurl in ots-doctools/latex/ots.sty, but so far
+% that hasn't led to a solution.
+%
+% Note that the wrong-URL problem also happens with the math-mode
+% "$\sim$" solution currently in place, but at least the tilde looks
+% good in the PDF.  So that's something.
+%
+% I tried "\texttildelow" too (with "\usepackage{textcomp}" up in the
+% preamble), but that just errored -- even though the command is
+% well-documented on the Net.  So there's another mystery.
+% 
+% Some days you win, some days LaTeX wins.  But really, most days
+% LaTeX wins.
+%
+% Still working on this.
 
 Since both the start and end-state licenses of the BOSL are themselves
 open source, we do not regard the BOSL as a form of delayed open-source