Fix for #19773 comment #4.
Fix for #19773 comment #3.

Removed the workaround for #17153.  I'm not sure exactly why, but sometimes it
would trigger the issue janet reported in #19773.  We can restore the scroll
position without the workaround now, so it's not needed.