@MartinSleziak if one goes to such a question as
mathoverflow.net/questions/366871 (that is, with
peano-arithmetic) it still appears with that old tag, but if one puts the mouse on the tag, what appears is "0 watchers, 9 questions" and the excerpt of
theories-of-arithmetic without its name. Is this normal? repairable? it looks clumsy.