I think that would be a good idea. There could be a live repo somewhere (I'm thinking drive maybe, or dropbox).
Also, another issue I'm having is trying to get to mine ore that haven't been mined, I can select differect ores given the id now, but it still mines ores if they are empty, and...