Add named destinations for \label{} in the PDF.
Fix \email{} so it doesn't rely on \url{}.
diff --git a/Doc/myformat.sty b/Doc/myformat.sty
index 56b3259..1e4ef09 100644
--- a/Doc/myformat.sty
+++ b/Doc/myformat.sty
@@ -26,8 +26,16 @@
\RequirePackage{times}\typeout{Using times fonts instead of Computer Modern.}
-% for PDF output, use maximal compression:
-\@ifundefined{pdfannotlink}{}{\pdfcompresslevel=9}
+% for PDF output, use maximal compression, revise \label{} to support named
+% targets for later linking operations.
+\@ifundefined{pdfannotlink}{}{%
+ \pdfcompresslevel=9
+ \let\OldLabel=\label
+ \renewcommand{\label}[1]{%
+ \OldLabel{#1}%
+ {\pdfdest name {#1} fit}%
+ }
+}
% Increase printable page size (copied from fullpage.sty)
\topmargin 0pt
@@ -324,7 +332,7 @@
\Black% Turn it back off; these are declarative
\pdfendlink}}% and don't appear bound to the current
}% formatting "box".
-\let\email=\code
+\newcommand{\email}[1]{\mbox{\small\textsf{#1}}}
\newcommand{\varvars}[1]{{\def\,{\/{\char`\,}}\var{#1}}}