#muppets

in Muppet Rosencrantz & Guildenstern Are Dead, are the two leads:

• Kermit & Fozzie
• Gonzo & Rizzo
• Kermit & a human actor (who?)
• other (tell me in the comments)