On drops previous to Beta 5 (0.80) the main map had a list of the resources your empire was mining (same place as the list of planets). Has that list been moved to somewhere else or was it removed? I found that list useful and would like to be able to refer to it.