Or it's just a name, like mine is Tommy. Tommy is a nickname for Thomas in some places more commonly than not, but just because it can/may be/mean something elsewhere, doesn't immediately default it to be universally true. I'm Tommy, not Thomas. Lora is Lora, not not-Lora.