Restarting `pulseaudio` when it flatlines

Although it now generally seems to work, audio on Linux seems to have been a consistent mess for decades. The current preference appears to be to use pipewire as a replacement for pulseaudio —but of course, many things still assume the old way, i.e., pulseaudio . Happily pipewire has compatibility layers to support this. Less happily, I’ve had consistent problems with things failing (from audio…