From the point of view of users I don't think anyone cares who owns it, they would just care that the product continues to exist. In that sense if they divest it is not a ban at all.