Redis backend; console improvements