During the first season, Jim Henson was credited as a Muppet performer. And then for several seasons, he was pretty much uncredited, though the performers credits did say "Puppets by Jim Henson's Muppets" (I guess it's debatable whether that would/ should count as a performer credit... I don't count it). But I know that Jim Henson was credited as a performer during the 1990s, up until season 32. So, does anybody know when Jim Henson was credited again as a performer? I'm sure that there are probably episodes in circulation from eahc season of the 1980s with the credits crawl, but I'd still like to know, whether Jim Henson was given a credit again before he died, as opposed to a "Featuring Jim Henson's Sesame Street Muppets" credit. I have started to wonder if maybe it was in 1987 or 1988. I know that the earliest Sesame Street videos don't list Jim Henson as a performer, but I'm pretty sure he was given a credit on videos by 1988. Then again, many of the videos credited performers who went uncredited on the show (like Jane Henson and Bob Payne). And I'm pretty sure Jim Henson was credited in Sesame Street, Special, though I don't know whether the performer credits in that special matched the performer credits from the 1987-1988/ 1988-1989 season (not sure which season would be considered the corresponding season to the special).