Links for mypy-boto3-lambda-microvms