I recently added a new item to the list of shared scripts :
"PageNumbers.js" is a script that renders page numbers associated with
the "page" command.
by search engines, and also to be searched in the navigator window. (see
) In addition, the script highlights the text that corresponds to a page
when the mouse is passed over a page link.
To install it on your wiki, see