The differing names and voices of major characters from various Muppet productions, as adapted across the globe.