Several useful bookmarklets are collected at Jesse Ruderman's Bookmarklets Site. Felix found that site when he was searching for a plug-in to render named anchors on a webpage.
He soon discovered that Jesse's code was close but not quite what he
wanted, because Jesse's version only handles anchors that use
name attribute to name its anchors, but some pages
id attribute for that purpose.
With Dave Herman's help, Felix developed the following generalization of Jesse's code: named anchors. Feel free to click it to see the effect, and to drag it to your own bookmarks bar.