And with the known structure of a Pandoc-generated page being a tree
of <section>s, it could also report the current position in the nested
section hierarchy so as to be more informative than merely a '%
scrolled through' scrollbar. That would be a sticky header which was
useful.