call CoqModify() autocommands should not be registered for all filetypes
If you forget to :UpdateRemotePlugins
, you are subjected to an onslaught of these errors, upon starting vim, and upon editing any text whatsoever in any file type.
Error detected while processing TextChanged Autocommands for "*"
E117: Unknown function: CoqModify
This can be solved as a user by, of course, updating your remote plugins. But they shouldn't be registered for all filetypes. It makes it very difficult to figure out what the problem is, and it's not good for performance anyhow; you should not register autocmds when they are not needed. This seems like a job for a ftplugin file, and buffer local autocmds and mappings etc.