I’ve noticed the opposite. I go to baby groups with Alexander, Peter, Harriet, Thomas, Benedict, Isabella, Joseph, Josephine, Elizabeth, Edward, Annabelle, Georgina, William, Matthew etc. But I went to school with, and my parents friends are Tom, Ben, Jackie, Danny, Sue, Liz, Andy, Pat, Dave, Mike, Deb, Will, Matt, Becky, Chris, Tim, Vicky, Steve, Steph, Gill and so on. I’m not sure what happens at school age, because these kids are still tiny. I don’t think asking if someone is planning on a diminutive for Charlotte is strange, because there’s two very widely used ones. I know someone who hated Charlie so used Lottie from the start to try to stop it. Another friend of mine switched to Lottie at uni because she’d always wanted to be Lottie and took the new start to do it.