michaelg/dev: links for petstore-pypi