Since .rar compression is still proprietary I’m guessing they’d actually have to buy out or license it.