Hello Mikael, maybe you could install systemd-coredump and look into output of "journalctl -e" after such a crash happened again.
For more information please have a look at [1] about several ways to collect some more information that might help the maintainers. Kind regards, Bernhard [1] https://wiki.debian.org/HowToGetABacktrace
