redis: Python library - client for Redis key-value store </>