好的,看来现在问题已经解决了,只需浏览我们的网站,移除那个“web-dev”标签,然后使用“删除未使用的标签”工具即可。
遗憾的是,我无法确切说明导致该问题的原因,以便将来更好地帮助其他人。我会继续留意,看看这种情况是否会再次发生。