coq is bloated and does not play well with other plugins, nvim-cmp is a better solution despite it is slightly slower. I optimized the startup sequence, start time: 80ms -> 120ms -> 65ms Next up, I will try to work on my zk workflow.
juan
