Re: /servers/default-pager

Marcus Brinkmann <[email protected]> writes:

> I think so.  It is a bit painful that the default pager is not robust
> against abuse, but the same is true for libpager, IIRC, and probably
> other parts of the system.

Of course. :)

I think the case with the default pager is perhaps a little more
severe, but the structural properties here are the right thing, and
when we get a Real default pager, it will have all the right
properties.