OK, thanks for acknowledging the bug, it is not super serious and eventually one devel will find it, hopefully, and then you can know where to look at. For me the suggestions didn't work either, but I can live with that, specially if the battery life is good again (last days it was, let's see...