Scroll restoration

Returning the scroll position when a history entry is revisited, which the browser does automatically for real navigations and which a client-side router must reimplement. Getting it right means restoring after the content has rendered, which is genuinely hard with asynchronous data and virtualised lists. Setting `history.scrollRestoration` to manual is the first step; the rest is bookkeeping per history entry.