Mandriva finally died! Well, sort of...