[Box-Admins] bugs.squeak.org back on line (manual start required)