Eu acho que você só precisa atualizar depois de criar uma categoria. Não acho que a lista de categorias esteja em uma mensagem de barramento de árvore, já que raramente muda.
Não sei por que meu tópico foi movido de Contribute > Bug para Support; estou relatando um comportamento defeituoso (bem mínimo), não pedindo uma solução (estou ciente de que a solução é atualizar a página)
Sim. Se não me engano, houve um problema semelhante nas preferências do usuário, em que a página não era atualizada totalmente ao alterar o tema. Então, o logotipo não mudava conforme deveria de acordo com a alteração do tema, e isso foi corrigido para que clicar em “Salvar” após modificar as preferências fizesse uma recarga completa (pelo menos para uma alteração de tema). Estou errado?
Mas mesmo assim, reconheço que meu relatório é um incômodo muito, muito pequeno e um caso raro, e posso entender que nunca seja corrigido. Mas achei que valia a pena relatar, já que esse tipo de problema pode potencialmente acontecer em outras áreas…
Categorias são alteradas com menos frequência do que configurações. Duvido que isso se qualifique como um bug, mas você pode movê-lo de volta (eu não fui quem o moveu) se quiser que um membro da equipe decida.