vim.g.coq_settings = {
  auto_start = "shut-up",
}