.org domain name registry to be sold to private equity firm [pdf]

I seem to recall another big thread about this too, but can't find it.