It's the opposite... Digital Ocean bought it for $4M; I bet they sold it for $0 (rather than shut it down).

(EDIT: oh maybe you're saying the same thing and I misunderstood?)