will now trim to 10K elements in redis, and moved example