“God Rest ye Merry, Gentlemen” comma placement song: it's long but the payoff's good