Redis-backed nginx configurator.