Fix documentation so that it refers to Redis, and not MongoDB
no message
Merge branch 'clairs-doc-update-redis'