This inline script is used by the Mozilla.Pager (separate from this PR). It's an inline script so URL fragment links work properly with the pager.