"Seems media keys stop working after this crash, and a reboot (or log out/in?) is needed to bring them back."
I confirm this problem. This crash happens mostly in these cases for me:
1.) Restarting pulseaudio 2.) Suspending computer -> at wakeup the crash happens
This is sometimes accompanied by pixelation of the background on the desktop.
"Seems media keys stop working after this crash, and a reboot (or log out/in?) is needed to bring them back."
I confirm this problem.
This crash happens mostly in these cases for me:
1.) Restarting pulseaudio
2.) Suspending computer -> at wakeup the crash happens
This is sometimes accompanied by pixelation of the background on the desktop.