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?)
We are ;)