On Thu, 12 Jun 2008, Geoffrey Goodell wrote: > Suggest that instead of removing routers that are not running, we simply > remove routers for which we do not have descriptors in dir/server/all. > Does this make sense? No, what good would that do? The goal here is to make the consensus document smaller.