Alternatively, ChatGPT might happily disclose authorship and licensing if asked.

I'm not convinced of the argument that the fact that it is not bundled at download or even at install-time, would free them of the GPL responsibilities. And at this point.

I'm also not sure HOW the devs bundled libreoffice, whether they just mentioned in a prompt (use libreoffice), or whether they hardcoded a command (like apt install libreoffice), more likely the former, considering the recursive vibecoding nature of this software.

Whole lotta words to say that I don't know whether this is a GPL violation, but interested in the answer. If it is a violation, the likely fix will probably be yet another prompt that says something like "comply with licensing", which probably already exists, so a more specific "provide attribution (in a way that doesn't bother the user)"