[galaxy-dev] What to do with toolshed tools that get stuck "Installing"