" 
 :::::::That's evidence good enough to support adding ""Carlotta"" as her formal name - another character using it in the show. All I need to see when uncredited names are added is episode support for the addition. In this case I had assumed it is just the common practice of editors presuming a formal name for a presumed nickname with nothing other than their own life experience  as the reason.   "