That caused me to later wonder about the differences between satire and parody. I asked this question on Facebook: Is parody simply polite satire? A friend from high school said that sounded about right. However, I decided to type the same question into MS Copilot for a more thorough answer. After all, AI is smarter than my friends. It answered this way:
"No, parody is not simply polite satire. Parody and satire are different forms of humor that have different purposes, tones, and targets. Parody imitates a specific work or genre for comic effect or ridicule, while satire uses humor, irony, or sarcasm to expose and denounce the flaws or corruption of individuals, institutions, or society. Parody can be playful or harsh, depending on the tone and purpose of the parodist. Satire can be subtle or harsh, depending on the style and intention of the satirist. Parody can also be a form of homage or appreciation of the original work, while satire aims to provoke social change or reform by making people aware of the problems and absurdities in the world."
Therefore, the included song is surely parody because it is a form of homage to a type of song often found in musical theatre.