Is PulseAudio dead?