> I don’t think LibreOffice ever really took over the mindspace of OpenOffice anyway.

It was really a terrible name if you're going after normie office workers. Nobody outside of open source people knows what "Libre" means or even how to pronounce it.