[galaxy-dev] Decrease Galaxy polling of slurm?