The file math_scroll.ad reports on the scroll
position via HTML5 local storage.  Moreover,
it remembers this position so that it can
be restored when the source file is saved
and the html is refreshed.  This now has
to be done manually by tapping the "Jump"
button in the upper right of the WebView.