There are several good articles on how to redirect an audio stream from one computer to another or how to multicast from one computer to many of them using PulseAudio. But I found some unexpected problems when trying to make it work.

One of the applications needed to set it up is paprefs (PulseAudio preferences setup GUI). This application was working fine in one of my computers but in the other most options of the GUI were grayed out/disabled. The difference was in was in the linux distribution I run in them. The one working was Debian Testing while ...