bootstrap.conf: remove a no-longer-needed module.