It is unfortunate indeed, because it's not just the software that is great, but the surrounding community as well who create a lot of great tools like phpSpec, Behat etc.