[galaxy-announce] Security vulnerability in Galaxy filtering tools