eta357 pushed to main at nix/neovim

eta357
2025-09-20T00:44:21Z

2b3c07474aed33a956832af449f07f912cd889d0 Don't start coq by default