Roman Milishchuk

Get a similar problem. Changing `LspDiagnostisUnderlineError` to `DiagnosticUnderlineError` helped me. I think they renamed it in some update

I tried both actually ) But those logs for distant mode

@zeertzjq Thanks, that helped! Maybe worth adding `'do': python3 -m coq deps` for vim-plug to Install section in README

What is the status of the current issue? Is it possible to see it in near future?