@@ -19,11 +19,10 @@
html$-page-body-open
html$-article-open
html$-article-close
html$-article-listing-short
html$-page-body-close
- html$-note-title
html$-note-contents
html$-note-listing-full
html$-note-in-article
html$-notes-section
html$-paginate-navlinks)
@@ -79,15 +78,10 @@
◊string-append{