Not OP but very happy with Dokku for multi-server clusters, with some light load balancing or failover at the DNS level.

Admittedly, this works great for clusters of 1-10 machines. There's definitely some missing stuff that's hard to add for larger deployments.

But, I'd venture to say that most of Dokku's target audience doesn't need to worry about scaling past a couple of servers.