Just off topic:
I'm curious as to what your native language is? This isn't the first time I've seen "minning" used instead of "mining." The first time I saw it a while back, I assumed it was just a mistake. But you seem pretty consistent.
I think this behaviour depends on keyboard phone setting when it is not en or en-US.
The setting autocorrect the text and if you do not note this, you get "minning" :-)