Thanks Galaxy Dev Team, the new galaxy-dist fixes multiple UI bugs with IE, for e.g. the workflow editor works now works and the history expand/collapse works! :)<br>