Re: [Galaxy-user] FW: Is Galaxy down?