RealPlayer was, and still to this day is, a for-profit product. Somehow. RealNetworks LLC still exists, they apparently now provide “artificial intelligence and computer vision based products” though they still provide subscription-based online entertainment services…presumably for people who set up automatic bill pay then forgot about it for 15 years.

Also, do you mean DivX, the vaguely obscure MPEG-4-like video codec that some people even used for reasons beyond my understanding, or DIVX, the completely unrelated DVD rental system operated by Circuit City which involved encrypted DVDs with unique barcodes and a special DVD player with a modem in it that would phone home, check if the rental is still valid, and if so get the key needed to play the disc…which is now defunct and all the discs are useless. Because both of those pretty much sucked.