Para que conste, também criei um componente de tema Navigation Menu Modifier que possui muitas personalizações adicionais para o modo de barra lateral que uso em meu site e que atende a várias solicitações de modificação de barra lateral que vi no Meta.
https://meta.discourse.org/t/navigation-menu-sidebar-modifier/267354