Good tip! IMHO, I always recommend the Miniconda installer over the full Anaconda installer, except for absolute beginners who would struggle to understand basic concepts like environments or the PATH environment variable, etc.