User:Enterprisey/parsoid-jump

Useful little utility for jumping to arbitrary elements quickly. For user script developers: if the query string of the current URL sets, this script jumps (on page load) to the element assigned SOME_ID in the Parsoid version of the current page's HTML. Let's say your script just edited the element mwXY and you want to reload and show the user what happened. You would declare a dependency on this script and, at runtime, reload the page, tacking on  to the end of the URL. You can also set the parsoid_jump cookie, if you don't want to change the URL.

For users: you might not need to install this script manually. But if some script or link keeps putting parsoid_jump=whatever in your URLs and your browser stubbornly remains at the top of the page, installing this script might help with that.

User:Enterprisey/reply-link uses this script to jump to comments that it inserts after reloading the page.

Declaring a dependency
Like this: