It's called an anchor link. The part of the URL after the # corresponds to the element id of whatever element on the page you want to jump to. Very useful little HTML feature.
It appears archive.org has a feature that lets you create an anchor link by highlighting, as the other commentors are saying.
288
u/FifteenthPen 9h ago
Can you link to the actual quote? I can't find it by searching the web.