That's sad. Perhaps a fork may be created, but right now I think it is true that arduino is dead. Guess we need an alternative now.