They don't have to. If LibreOffice wanted them to have to, they should have used a different license.
Good thing that "would be nice" doesn't entail that they have to.
you people are always mixing up the legal thing to do with the right thing to do
Good thing that "would be nice" doesn't entail that they have to.