Re: [galaxy-dev] new galaxy-dist fixes multiple IE UI bugs