I would assume that this module is using redis's pub/sub capabilities to push configuration out to django app servers whereas creating an extra_settings table w

I would assume that this module is using redis's pub/sub capabilities to push configuration out to django app servers whereas creating an extra_settings table would likely require polling.