Re: [galaxy-user] problem with the public Main Galaxy server