Tools

Extensive details in the new PR https://github.com/redis/redis/pull/15162

A Redis pull request (#15162) that introduces significant new features or improvements, with comprehensive documentation of the changes available in the GitHub PR discussion.