Should the BBC play “Ding Dong! The Witch is Dead” in its entirety on its chart-countdown radio show?