Replace javascript: anchors with .tocref spans
Refine scanner/skimmer interactions