Developers of AS3 PushButton Engine says goodbye

I used to work with some of those guys.

I wonder if Adobe's recent "throwing in of the towel" on mobile flash was the reason for the change.