[BetterThanSober]

Is it actually reproducible though and do I want to chase and reproduce something that had no human touch? Do you?

[wild_pointer]

If it's an actual bug, I hope the Linux devs will. It impacted a human, and it's a bug regardless of human or non-human touch. Of course, looking at a bug is a matter of priority, always has been.