Some update, 4 months later, the problem occurred just one or two times since then, which is a whole lot less. I can't confirm precisely if those crashes are the same bug.
Some update, 4 months later, the problem occurred just one or two times since then, which is a whole lot less.
I can't confirm precisely if those crashes are the same bug.