Seeing as the machine status page is on db.debian.org, which is currently down: how do I find out the status and future of db.debian.org? Is there a page I can watch somewhere? ~ESP -- Evan Prodromou evan@debian.org