This renaming has been going on for a while, and all the cases have been made, so don’t expect them to be in a hurry to change the OS name right now … A new brand name for /e/OS - Murena - #62 by Fairphoner
As for speculation on possible trouble with the Murena name (since this topic here is about logos and trademarks) … apparently there was a comic book and a car, at a minimum … So, it is MURENA ! ... Long life to Murena!