Fix mining; rename to skill-mining