You are right that we don't use Docker, but we also don't use hypervisors which are too slow.
We are a lot faster than a hypervisor. Our machines start in 5 seconds. Neither can resize a machine up and down live without a reboot. None of them can do RAM snapshots.