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