Can you provide proof that they did do this?
It could have just been a coincidence. But the domain was released about 2 weeks later.
I can only describe my anecdote and others are chiming in. If you're still skeptical you could search. It was probably a story on Slashdot, as things were.
https://slashdot.org/story/07/12/28/1458247/domains-may-disa...