Usar HDMI solo para audio

Prefiero usar mi TV (LG 32LE4600) como monitor para casi todo, pero me resulta más práctico usar la pantalla del portátil cuando estoy de cara a mi mesa de estudio.
A veces me gusta dejar música de fondo mientras estudio. Estaba usando los altavoces internos del portátil para evitar la molestia del peso de los auriculares, pero la calidad de sonido es bastante limitada.
Entonces decidí usar el sonido de la TV, que es muy superior. Seleccioné
Digital Stereo (HDMI) Output en pavucontrol (uso PulseAudio) y noté que era como si la TV
estuviera desconectada, pese a que el cable HDMI estaba conectado.
La solución que pensé en ese momento y funcionó bien fue usar xrandr para hacer que la TV muestre
una versión ampliada de la pantalla de 13.3" de mi portátil:
xrandr --fb 1366x768 --output LVDS1 --auto --output HDMI1 --auto --scale 0.711x0.711
Y luego ir a las opciones de ahorro de energía de mi TV y seleccionar Screen Off.
Parece una ñapa y probablemente exista una forma más simple, pero esta solución me está funcionando muy bien.
(Ahora volviendo al estudio…)