@@ -131,6 +131,15 @@
 
 @defproc[(html$-notes-section [note-htmls string?]) non-empty-string?]
 
 Returns the complete HTML for the @italic{Further Notes} section of an article.
 
+@defproc[(html$-paginate-navlinks [current-page exact-positive-integer?] 
+                                  [pagecount exact-positive-integer?]
+                                  [basename string?]) string?]
+
+On the “blog”, the articles are split across multiple files: @filepath{blog-pg1.html},
+@filepath{blog-pg2.html}, etc. This function provides a string containing HTML for a group of links
+that can be given within each file, to link to the pages that come before/after it. 
 
+The links are enclosed within @tt{<li>} tags. It’s up to the calling site to provide the enclosing
+@tt{<ul>} tag (in case any custom styling or IDs need to be applied).