For what it's worth (i.e., not much), I am completely in favour of the renaming.
--tml _______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/libreoffice
