Redis-py typing issue open since 2022 | Hacker News Reader