Just a note, if anyone comes across similar situation. This got solved by deleting first the settings (rm .config/pulse/*), then reinstalling pulseaudio to getting them back (sudo apt-get re-install pulseaudio) and starting the service just for good measure (systemctl --user start pulseaudio). All devices re-appeared. Still don’t know what happened, but I guess it doesn’t matter.
3 Likes