So, I saw this clip from one of the Studio DC specials featuring Miley Cyrus (YouTube), and I could've sworn I heard Jerry Nelson as Floyd Pepper. I'm assuming Matt Vogel obviously puppeteered him, but if that really is Jerry doing the voice, should we note that he voiced him for that special, or was he uncredited?
So I tried contacting a couple Muppeteers on Facebook who were involved in this special. First, I asked Matt Vogel about this and he didn't reply. Then I asked Bill Barretta, and he responded. I'll leave the link for the post below in case anyone wants to source it.