michaelg/dev: links for m-minepy