Update documentation with current Redis implementation