Hello! I'll upgrade schedule some downtime later to move tools-redis to a bigger, newer instance, with a newer version of Redis! Shouldn't last too long, and this time will preseve data too! Thank you for your patience.