Do you have a reference for this? Curious to learn more. I thought Vercel was built on AWS.