So far the bug hasn't happened, but it is too early to be sure because it did not happen very often to begin with. On some occasions, the system worked for entire week without problems, while sometimes the problem happened several times per day. Also, unfortunately I'll be travelling for next 10 days with no access to this PC. So the earliest we can be sure that things have improved will probably be somewhere mid-October.