Happy Thanksgiving, all. On this day as on all others, I am grateful for my life, my health, my friends, and my love ones. And thanks for starting this thread, Martin.