[galaxy-user] Galaxy Production Server Settings