delete mode 100644 users/natalie/vim/coq.nix