Happy Thanksgiving!

Today in the US is Thanksgiving, when all are expected (or at least encouraged) to give thanks for our blessings. To all of you celebrating, have a pleasant and safe holiday!