Anybody used PHPDevShell? What are pros and cons?

[eluser]jsherk[/eluser]
Yes, I did read their website, and it does appear to be very different which is why I am just looking for somebody that may have used it before and can say what was good/bad about it as compared to CodeIgniter.

I suppose I will just have to develop a small application with (like I did with CodeIgniter) and see how it goes.

Thanks