michaelg/dev: links for mario-py