Re: [galaxy-user] Incorporation of Stampy in Galaxy?