> 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/

I finally did find the license in

  ~/.cache/codex-runtimes/codex-primary-runtime/dependencies/native/libreoffice-headless/libreoffice/LibreOfficeDev.app/Contents/Resources/LICENSE