Don't query the module about the extensions to remove in disable_module(); it might not be the same as on module load. Rev: server/base_server/configuration.pike:1.198