Re: [galaxy-dev] What is the difference between the table stored_workflow and workflow in Galaxy?