Sesame Street movie with a character credited as "Demon"

Was this an inside joke, or did they do exactly as they set out to...

scare the life out of 3-year-olds.

Not "Magic Head"
Not "Egyptian Deity"

Just "Demon"

He was the Babadook of my preschool years.

Best,
E