This week’s annual Reuters Global Mining and Steel Summit has been a pretty rich event.