True, but I wonder what the cost split is. I'd expect the actual "run code from users" bit to be a minor line item, with the bulk being the actual app servers, databases and egress bandwidth.
They can very well keep the REPL/"run code from users" bit on AWS, but serve their actual website, application and database from fixed-price bare-metal servers.