To be clear, we do own the domain. It was registered about ~7 days ago. It's just not deployed yet.
It was definitely available to purchase when I commented
Good news is we've got doctree.org, so will be using that instead. I've removed all references to the other domain.
If it was a good samaritan, shoot me an email -> stephen@sourcegraph.com