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.