redis-lean Copyright 2026 Proofinity s.r.l. This product includes software developed at Proofinity s.r.l. (https://proofinity.it).