[Dillo-dev]Patch: config option for page increment