Bug#1018940: devhelp: Scrolling does not immediately update the view

[Jeremy Bicha]

I don't experience this bug, but I'm using Intel graphics and
webkit2gtk 2.37.91 (found in Experimental). webkitgtk 2.38 should be
released soon and available in Debian Unstable and Testing shortly
after that.

Thank you,
Jeremy Bicha