My DH loves Ellie as a name, but I like more formal names - old fashioned ones. Is Ellie short for anything so we can compromise? A family members DD is Eleanor so we can't use this one. Not that keen on Elizabeth. Thanks!