In this case, that's right. I don't care about source since client-side is widely documented. And as for server-side, there's still Redis source code.