Which would you go for? I’m slightly concerned about popularity of the first two. I like the nickname potential of Dorothy, although maybe both Dolly and Dotty are slightly silly? Will probably use one as a first and one as a middle name.