It is "properly licensed." That's the issue, and it's why LibreOffice has to beg instead of being able to sue.
If LibreOffice doesn't like this use, they can change to a less libre license. That's the point of proprietary and mixed licenses.
If LibreOffice doesn't like this use, they can change to a less libre license. That's the point of proprietary and mixed licenses.