They were using OpenOffice.org but with the fork to LibreOffice,
“We chose LibreOffice because we lacked visibility into the OpenOffice product and its roadmap
When we saw that the OpenOffice community was not so active and had not released a milestone for a year and a half, no update, we took the final decision to go with LibreOffice”.
That’s a reflection of the chaos at Apache Foundation which put huge effort into moving the website and modifying licences but had no idea how to deal with the desktop community. I think they made the right decision. LibreOffice is a great office suite. It’s Free Software. It’s $0 and it works.