On New Year's Eve, I bought a new SSD drive and reinstalled the system. It has been working fine for more than two weeks and the bug has not appeared again.