* ./src/misc/modules.c: if a plugin requested not to be unloaded, then we