PS I almost deleted this because I remembered it was American Thanksgiving and wondered if my post should be about that (even though it is not Thanksgiving here.) I decided not to. Happy Thanksgiving, American friends. Happy Thursday to everyone else.