Changes

<nowiki># There is actually some disagreement about this. Some people are of the opinion that the extra mining actions with a fast pick make up for the loss of skillgain due to short timers. There is also a 3rd camp which believes that it makes little difference which method you prefer & that skillgain will be about the same if you spend the same total amount of time mining. If this is the case, then how many shards (or how much ore) you want at the end of your mining session might be more important.)</nowiki>