root/dev-pypi: links for mimi-dev-tools