On Mon, Oct 06, 2008 at 11:48:11AM -0400, Matthias Julius wrote: > I guess I just don't have so bad feelings about externals. I don't > mind them at all. externals aren't that bad when the likelyhood of them working is just as big as the main path. externals can be a pain when they point to unreliable servers, but this is not the case here...