The man pages pulseaudio.1 or pulse-client.conf.5 mention PULSE_SERVER, but the syntax isn't documented on the man pages (and no references to external documentation is given either).
David pushed patches from Peter for this.
Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.