Sí, ese es el caso ahora mismo. Si eliges las opciones de contexto alto en la configuración del tema, todos los usuarios verán esto en Horizon. ¿O te refieres a más adelante? Mmm, que un administrador anule una configuración de usuario no estaba en la planificación y es un poco inusual. Supongo que lo dejaríamos en manos del usuario si decide que las etiquetas son importantes para él o no. Pero creo que un administrador probablemente podrá establecer la opción predeterminada.
@zogstrip ¿Puedes ayudar con el problema del comando por favor?