Using Redis with redux

Authored by:Rich FitzJohn inredux 1.1.4.
Source:redux.Rmd, Vignette:redux.html. Last updated:2022-01-13.