fabian/prod: links for mimi-dev-tools