Sharing the history of mining