let's put it in the "things that happen" category
Well, maybe it is the same category as the occasional reports that processes go missing. It does happen, and in my opinion it happens more often than it should.
Please note that the issue reported at the start of this thread happened on Linux, not Windows
QuotePlease note that the issue reported at the start of this thread happened on Linux, not WindowsIndeed, but it has been the only time this has been reported on Linux AFAIK. It could be a sporadic hardware problem,