And a reading of later bits of that older draft, name is now needed to connect dots, so that doctor got his name restored. Introduced, but then kept to “the doctor” for most of the rest to signal it’s less...necessary, more about the role being played.