And this proves that there no money to be made in Mobile developer tools. Pretty much all major tools have been acquired or face an uncertain future.