Good point. I was only thinking of The Jim Henson Company's muppets, which wouldn't include LucasFilm's Yoda and various other muppets/puppets from Jabba the Hutt's lair. Does a puppet have to belong to the Jim Henson Company to be a muppet, or is it now a generic term that covers puppets that look like Jim Henson's muppets?