A quick question from a newbie bored out of his mind in a crashpad:

Do we get any guidance on saying "Happy Holidays" vs "Merry Christmas (or whatever your flavor)" while we say goodbye to the folks? I'm hoping there isn't but it seems everyone is so sensitive these days...