TIL that HTML5 spec specifies a href="#top"
and href="#"
fragment to quickly jump to the top of any document. No need to provide a matching anchor. Pretty handy stuff.
https://html.spec.whatwg.org/multipage/browsing-the-web.html#scroll-to-the-fragment-identifier