It's probably more that you don't have to shift from DO to AWS because you wanted to run lambda. Although I'm not sure if this product is (yet) compelling enough to keep you on DO.

so this means that DO users have been moving to AWS Lambda?

As serverless has been gaining traction a lot of users have moved from traditional vps deployments to serverless offerings because it is more affordable for sporadic workloads.

ah interesting! are there any numbers/stats

DO may try to better serve the existing users, not trying to encourage shift