debian.org was down from around midnight last night until midday. Now kernel.org is down. Does anyone know why? debian.org is back up, but there's no explanation. This is making me a little uneasy . . . Rikki Hall