redis-doc is not available in some distributions, making it optional