The server that hosts bad.debian.net will be unavailable for a significant portion of this coming weekend (Oct 22-23). -- Mike Markley <mike@markley.org> Nature always sides with the hidden flaw.