Holiday names would make it a pain to sell the product internationally. That might be premature optimization ("Do things that don't scale" and all that) but it certainly is a consideration.
I mentioned it because they're included in the calendar that he took a picture of and the first thing I thought when I saw them was "So I'd have to write around that?"
