20200423 The correct way to restart the audio server on Linux is to use the systemctl command:
$ systemctl --user restart pulseaudio