Veo dos extensiones de Gnome que me molan:
- Para renombrar las salidas de audio (y poder sustituir los impenetrables nombres de dispositivo)
- Lo de macOS de agita el ratón para hacerlo más grande
Pero ninguna de las dos es compatible con el Gnome que lleva Debian 12 (Stable). En breve sale Debian 13, ¿me acordaré?
https://extensions.gnome.org/extension/6784/wiggle/
https://extensions.gnome.org/extension/6000/quick-settings-audio-devices-renamer/