No matches were found for subject:"Bug#918522\: No sound with PulseAudio when an NVidia GPU is installed \- workaround"