Using Redis with redux

Authored by:Rich FitzJohn inredux 1.1.5.
Source:redux.Rmd, Vignette:redux.html. Last updated:2025-09-01.