Proposal: remove down routers from consensus

[Peter Palfrader]

On Thu, 12 Jun 2008, Geoffrey Goodell wrote:

> This would make the consensus document smaller -- I am not sure why the
> consensus document includes routers that are not in dir/server/all, but
> last I checked it did.  This fact bothers me more than the fact that
> some of the routers are not Running.

Sorry for being a bit dense here, but what's your point?  Who uses
dir/server/all anyway?  And is there anything you have to say about this
idea of making the consensus smaller?