[galaxy-user] Is there a problem with jobs on Galaxy today?