pub fn delete_module(registry_path: &Path, id: &str)
Remove a plugin’s module file. Missing is fine (idempotent uninstall).