Add magic to make PDF generation use maximal compression.
diff --git a/Doc/myformat.sty b/Doc/myformat.sty
index b7d3629..6e6fa6d 100644
--- a/Doc/myformat.sty
+++ b/Doc/myformat.sty
@@ -26,6 +26,9 @@
 \RequirePackage{times}\typeout{Using times fonts instead of Computer Modern.}
 
 
+% for PDF output, use maximal compression:
+\@ifundefined{pdfannotlink}{}{\pdfcompresslevel=9}
+
 % Increase printable page size (copied from fullpage.sty)
 \topmargin 0pt
 \advance \topmargin by -\headheight