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.