[[WMG: ''King Herod's Song'' (with the possible addition of ''Superstar'') occurs in-universe, with the TranslationConvention [[PropheciesRhymeAllTheTime applied]].]]
I could definitely see the Herod of this continuity writing a song specifically to mock the so-called "King of the Jews"/Christos, and most versions of the performance that I've seen (''especially'' [[CrowningMomentOfFunny the 1973 film's version]]) have him doing choreography that barely makes sense even within the boundaries of the MusicalWorldHypothesis. As for ''Superstar'', that takes place in a message from the afterlife (or in the afterlife, or something), and thus could be part of the awesomeness of heaven. Maybe God just likes to have music up there.