ma il divx una volta era open source, vero?