>No need. Before the change, my mouse pointer was freezing up every few seconds, and I got "IOHIDSystem cursor update overdue. Resending." in the system log very frequently. This disappeared completely after disabling the pager.
The difference in performance is stunning. For example, previously, opening a new tab in Chrome would not animate the tab line correctly, resulting in a weird "jolt" as the tab came into place. Now it's smooth.
Both sound like problems TOTALLY unrelated to the dynamic paging, that accidentally were solved by disabling it. Especially seeing that people with the paging enabled don't see any slowdowns such as these AT ALL.
My guess is some BS software left over from the previous installation, a SIBML plugin, a haxie, or something else faulty, that caused the unnecessary paging. If you have found and removed that, then you wouldn't have had other issues with the paging functionality.
For what it's worth, I tried re-enabling the pager, and a few hours later the IOHIDSystem cursor update overdue error started coming back around twice a minute, keyboard input speed started suffering from micro-freezes, and apps such as Chrome started lagging again.
Both sound like problems TOTALLY unrelated to the dynamic paging, that accidentally were solved by disabling it. Especially seeing that people with the paging enabled don't see any slowdowns such as these AT ALL.
My guess is some BS software left over from the previous installation, a SIBML plugin, a haxie, or something else faulty, that caused the unnecessary paging. If you have found and removed that, then you wouldn't have had other issues with the paging functionality.