Ask HN: Is Micro-PaaS Dead?

Dokku, Nanobox, Deis, Rio, etc, all don't seem to have much activity these days.