[galaxy-dev] Galaxy Tool Shed security vulnerability