I was aware of the OpenOffice/LibreOffice split of course. I knew this would mean some confusion until the dust settles. My vague impression was that LibreOffice might be a better choice for supporting openness versus corporate ownership (and so I'd plumbed for that myself) but at the same time I worried that OpenOffice might end up being better managed and maintained than LibreOffice. I was not aware until I read this, that the dust was settling so comprehensively on the side of LibreOffice. More than just OS idealists buying into it, it's actually being maintained a lot better.
This is good news. The situation seems a lot clearer than previously, but yes the message needs to get out. Hopefully apache will shut down, redirect and facilitate re-merging the brand names.