let g:neovide_refresh_rate=140
let g:coq_settings = { 'auto_start': 'shut-up' }