Consider changing Redis Explorer to Redis for VS Code

### Please describe the feature.

Module 4 starts using Redis. The VS Code extension we have used, [Redis Explorer](https://marketplace.visualstudio.com/items?itemName=davidsekar.redis-xplorer), is quite old. Consider using Redis' own extension, [Redis for VS Code](https://marketplace.visualstudio.com/items?itemName=redis.redis-for-vscode).

The latter was released in 2024, long after Redis Explorer.