Bug#834437: gnome-control-center does not show HDMI sound (Debian stretch)

Just got new pulseaudio upgrades (in Debian Stretch): HDMI audio is working again. All good. ( /var/log/apt/history.log shows... Upgrade: libpulsedsp:amd64 (9.0-1.1, 9.0-2), pulseaudio:amd64 (9.0-1.1, 9.0-2), libpulse0:amd64 (9.0-1.1, 9.0-2), libpulse-mainloop-glib0:amd64 (9.0-1.1, 9.0-2),

Bug#834437: gnome-control-center does not show HDMI sound (Debian stretch)

Package: gnome-control-center Version: 1:3.20.1-2 Severity: normal Dear Maintainer, (I'm running Debian strech [=testing]) The Gnome-based sound configuration no longer shows HDMI sound. (I ONLY see Build-in Audio Analog Stereo). But aplay -D plughw:0,3 /usr/share/sounds/alsa/Front_Center.wav