For consistency with other Carpentries courses, see discussion at https://carpentries.org/blog/2025/03/lesson-setup-instructions-task-force-recommendations/#3-update-python-instructions-to-use-miniforge.