Оказывается, есть у меня такой plugin, и он работает.
А вообще-то 71Stranger прав насчет дополнительной кодовой таблицы для редактора. Надо подумать...