I’m not a lawyer, but my understanding is that MPL is weak copyleft, so libreoffice can be distributed alongside proprietary software as long as they make the source of their libreoffice build available.