Redis configuration (work in progress)

First work for #8013 (not tested yet)