September 2, 2018
Very useful script to add a list of links to the end of the print version of your page.
Original link and Wayback Machine link
Back to Bookmarks.