The DIVX ticker is no more. Bittersweet.