Happy Thanksgiving

Happy Thanksgiving to everyone in the US. Recently I wrote about a problem I had with Linux. I think now that it is not related to Linux but was a hardware problem. In any case the problem has not repeated itself and I am glad.