[realityfactchex]

If both remain available options, that's fine. Sometimes the new thing becomes the default, and then the old thing gets dropped.

[chris_wot]

That is not going to happen with LibreOffice.

[chris_wot]

Downvote me all you like, this won’t happen.