<div dir="ltr"><div>This bug was 100% reproducible for myself and at least one work colleague over several weeks. But recently it has stopped occurring, perhaps due to an Ubuntu update. In any case I guess the bug can be closed. I will let you know if it happens again. Thanks.<br></div></div>