Минус один оператор?

Тема на форуме об отмене оператора : (одинарное двоеточие)

По ответу Платона "Указанный оператор больше не используется. Информация со страницы помощи удалена".

Ну, одинарное двоеточие – пользовательский вес слова или выражения… Пользовательский, а не частотный, как в двойном двоеточии. Кстати. на странице хелпа был описан как раз он (одинарный), а двойного не было.

Конечно, жалко. Двойное двоеточие вроде пока работает.