Migrate PHP sessions from disk to redis using mass insertion protocol | Hacker News Reader