They are somewhat related... the codec's title styling included a winking smiley face emoji -- "DivX ;-)" -- as a tongue-in-cheek nod to the failed video disk technology.
I do remember Mango! I didn't actually try it out, but we had experimented with Ethereum and IPFS in the past, and it wasn't a great fit for a code collab platform due to performance and cost.
I became a paid subscriber specifically to use their WebDAV features. I almost immediately unsubscribed as, at the time, I could not find a viable WebDAV client. I simply don't believe that this entire ecosystem supports it.