I've noticed that in the openning. Steve, Dave, Bill, and Eric were shown as the main Muppeteers. While the rest were shown at the end as secondary Muppeteers. I guess the first four Muppeteers got top billing because they voiced the main characters. Kermit, Fozzie, Piggy, Gonzo, and Pepe.