And perhaps, in six months with Google Jobs Search eating up market share, it would have sold for much less. Seizing a 1 billion USD exit opportunity seems like a more than acceptable outcome.

Heh, especially considering they only took 1 round of VC years after bootstrapping. I wouldn't be surprised if they still owned 80% of it at exit.