I have to legal training, but I personally I doubt that Sesame Street would object to two pulsars being named after their characters... I mean, it's an "educational" sort of thing, scientific...