In the Ivy lessons, we currently recommend using Anaconda to set up a scientific Python distribution. We should switch to [Miniforge](https://github.com/conda-forge/miniforge).