Установите vscoq на vscode на 18.04

Я пытаюсь установить расширение "vscoq" на vscode 18.04. Я установил opam, coq и vscoq, как написано в https://github.com/siegebell/vscoq/wiki/Setup , но он не работает, хотя подсветка синтаксиса работает нормально. Не могли бы вы помочь мне? Пожалуйста, скажите мне, если вам нужно больше информации!