And it recurred today :(. I do not know how to reproduce reliably. Note that I dupped tumbleweed and rebooted yesterday.