>>I think this code was assumed to be "good enough," but that there are cases where it fails.
>>
>>Tamar
>
>Maybe one should place an anchor and force the browser to jump to the anchor? Anyone using JS? Let's see if we can borrow wisdom ...

Well, I can repeat my suggestion, whereby

	function ScrollToMatch(){
		var MatchDiv = document.getElementById('matchline');
		MatchDiv.scrollIntoView();
	}

Though in my case it scrolls the div element in which the piece resides, but I think I've seen it work with the whole page.