michaelg/dev: links for mikro-py