Yeah, but that's my point: I want a PaaS for the ease of deployment and upgrade, but I don't actually need a distributed system; all our servers work isolated from each other, only receiving occasional commands from our office.
Unfortunately, it seems I have to choose between barebones deployment helpers like Dokku and systems designed to deploy Twitter and Whatsapp. We're more like WPEngine - where's the PaaS for them?
I'll look into MicroPCF, but is it production-ready? Sounds too focused to the development phase.