Redis array: short story of a long development process