All occurrences of the first name "Nicolas" in the credits are highlighted in green. Nicolas is a variant of "Nicholas", aka "Saint Nicholas", aka Santa Claus.