[galaxy-user] is public galaxy down?