By the way, as I stepped outside the theater at intermission, an usher in flickering red devil horns (like those worn by the cast in one of the many finales; and yes, they’re for sale) asked, “Smoking or fresh air?”