Dither/AutoPatchWorkOpera — comment on commit ce263a8dba06fd512c6eb518c8b5496d95c5e3e7
File: scripts/siman.js line 66
By Dither:

We need that cause how do we know when to load new pages otherwise?! But isn't it slow? Probably should disable pagerizing in the manager for good.