Yeah, I prefer
Theodora too but this is for my friend's bub and she isn't as taken by
Theodora.
Also, not in the UK so the EastEnders character isn't an issue.
Dot will mainly be a family nickname, not an "all the time" nickname and part of the appeal of
Dorothy for her and her husband is that it has a few nickname options :)