@@ -93,19 +93,10 @@ @defproc[(html$-page-body-close) non-empty-string?] Returns a string containing the page’s @tt{