關於冒號

感谢留言。之所以要删掉是因为之前新版Vector搜索也用了这个message，但是前后跟随的内容不一样，为了能够在两种上下文中都能理解，我才加入了那个冒号。后来新Vector改用了独立的message，我认为那个冒号没有必要，于是就删去了。（见phab:T290392）

现在看来加上也无妨。如果您要回退，我没有意见。