Categorías de barra lateral predeterminadas

Hice lo siguiente en un sitio de prueba antes de responder a este otro tema:

  1. Añadí una categoría #foo que solo es visible para el grupo @foo
  2. Añadí la categoría #foo a categorías predeterminadas de la barra lateral
  3. Hice clic en “Sí” para aplicar históricamente
  4. Inicié sesión como “Frank”, un usuario que no forma parte del grupo @foo
  5. Verifiqué que no ve #foo en su barra lateral
  6. Añadí a “Frank” al grupo @foo
  7. Actualicé la página en la ventana de Frank
  8. Verifiqué que ve #foo en su barra lateral
  9. Eliminé a “Frank” del grupo @foo
  10. Actualicé la página en la ventana de Frank
  11. Verifiqué que no ve #foo en su barra lateral

¿Alguna idea de qué podría ser diferente en tu caso?