Upgrading to redis 5.0.0 and removing types-redis results in an error for the code given in redis/redis-py#2933
Can types-redis really be removed at that point? Is that issue a known backwards incompatibility that clients are expected to work around?