> Whole lotta words to say that I don't know whether this is a GPL violation,

I don't need a lot of words to say it can't be a GPL violation since Libreoffice is distributed under the MPL v2.0 license.

https://www.libreoffice.org/licenses/

https://www.mozilla.org/en-US/MPL/license-policy/