Could someone tell me what the "pool" directory is about? Is it necessary to mirror it? I see that non-US has established it and it is obviously going to take a lot of disk space. Thanks, Phil. - Philip Charles; 39a Paterson St., Dunedin, New Zealand; +64 3 4882818 Mobile 025 267 9420. I sell GNU/Linux CDs. See http://www.copyleft.co.nz