Lobsters: Redis array type: short story of a long development