For what it's worth (i.e., not much), I am completely in favour of the renaming.
--tml -- To unsubscribe e-mail to: [email protected] Problems? https://www.libreoffice.org/get-help/mailing-lists/how-to-unsubscribe/ Posting guidelines + more: https://wiki.documentfoundation.org/Netiquette List archive: https://listarchives.libreoffice.org/global/projects/ Privacy Policy: https://www.documentfoundation.org/privacy
