And, here is also a setting, maybe for reference.
By the way, I have encountered a strange problem before. There were some tags that mysteriously disappeard. They were visible on topics already tagged with them, but they did’t show up in the list of tags in any way. I’ve searched many ways but it happens completely randomly, so I didn’t report this bug(?)