Happy Thanksgiving, everyone. One of the things I’m thankful for today is Poul Anderson (1926-2001). It being his birthday (November 25), and all. For today’s post, a few days ago I had…