I didn't realize Jedis was an official Redis client now, looks like it has been since 2020 without any major impact to the development. I guess they are unlike

I didn't realize Jedis was an official Redis client now, looks like it has been since 2020 without any major impact to the development. I guess they are unlikely to add any features to support alternative servers.