Btw, I believe that last semester’s students still have all their stuff in the Redis instances you guys are now using. Feel free to flush their work (the command is “FLUSHDB” at the Redis command line) before adding your stuff.