Funny you should ask!
It turns out, the domain was available for $7.99 and so Jeff bought it. So yeah.