Cannot find a physical path bound to logical path String with prefix Stdlib.

big error message when opening a `.v` file using neovim

`RocqStop` not idempotent within buffer

Add config to suppress version warning

Rocq not starting

Transitioning to rocq from coq with coqtail

Coqtail seems to hang upon starting Rocq

Unexpected error message on stderr when running `Extraction TestCompile`

In neovim, :q behaves as a simple CoqStop and does not exit

unable to use in lazyvim on macos