(I sit next to Kenton)
I would actually argue with #1. The truth is, this appears to be a better tech even if it isn't globally distributed.
Lightweight serverless functions with no cold-start are a really great primitive to build on. We figured them out in this way to enable global distribution, but that's a bonus, not necessary to really love the concept.