Re: [galaxy-user] use of public server vs local installation