Some cruft left over from my megacommit. A page rotation optimization
was a good idea, but can cause instability. That optimization is
now removed.