[zx8080]

> and it happens only for this user, it is not a bug and should be mostly ignored

What if it happens for two users? (Still "not common").