I love stories like this. A few months ago, my daughter was born and was named after the main character in a Philip Pullman series. He tweeted a welcome message to her! https://twitter.com/PhilipPullman/status/946678534776516608 One of the weirdest, most amazing internet moments for me.