michaelg/dev: links for py3minepi