Por cierto, también creé un componente temático llamado “Navigation Menu Modifier” que ofrece muchas personalizaciones adicionales para el modo de barra lateral que uso en mi sitio, y que aborda varias solicitudes de modificación de la barra lateral que he visto en Meta.
https://meta.discourse.org/t/navigation-menu-sidebar-modifier/267354