Cambiar el dispositivo de audio predeterminado en Pulseaudio

Parece que encontré una solución, al menos para este caso en particular. Como sabía el número de tarjeta y dispositivo asignado por ALSA, solo tenía que abrir /etc/pulse/default.pa . en el editor y cambia esta línea

#load-module module-alsa-sink

en esto

load-module module-alsa-sink device=hw:2,7

donde 2 y 7 son mis instancias particulares de números de tarjeta y dispositivo. Esto creó un nuevo sumidero conectado al dispositivo correcto, que luego se usó como salida predeterminada.