WebFrontend: Merge in a patch fixing a bug in jScroll. https://github.com/gpayer/jscroll/commit/d72f7bb23272ed5d3586fede7727c89c5852c023