Tweak scrollbar styling for nicer fadeouts on pre-KitKat Android; iirc this will cause similar problems on iOS... 4?  iPhone 3?  instead, but that seems a worthwhile trade!
If scrolling is in progress when a DOM update occurs, don't cancel scrolling any more - just re-render the page with a position update if appropriate, matching native browser behaviour more closely
Update to v0.3.2, fixing scrolls stopping when the DOM changes and improving old Android scrollbar fadein/fadeout
Automatically rewritten for npm.