replace all mambaforge with miniforge

closes #519

build/README.md

@@ -32,7 +32,7 @@ To change the options, either edit the YAML files directly or add additional `--
 Note: currently, **Windows is not supported**.
 
 The Manubot environment is managed with [conda](https://conda.io).
-If you do not have `conda` installed, we recommend using the Miniforge3 (includes `conda`) or Mambaforge (includes `conda` and `mamba`) installers from [miniforge](https://github.com/conda-forge/miniforge).
+If you do not have `conda` installed, we recommend using the Miniforge3 (includes `conda` and `mamba`) installer from [miniforge](https://github.com/conda-forge/miniforge).
 Install the environment from [`environment.yml`](environment.yml) by running one of following commands
 (from the repository's root directory):
 

ci/install.sh

@@ -7,7 +7,7 @@
 set -o errexit \
     -o pipefail
 
-wget https://github.com/conda-forge/miniforge/releases/latest/download/Mambaforge-$(uname)-$(uname -m).sh \
+wget https://github.com/conda-forge/miniforge/releases/latest/download/Miniforge3-$(uname)-$(uname -m).sh \
   --output-document miniforge.sh
 bash miniforge.sh -b -p $HOME/miniconda
 source $HOME/miniconda/etc/profile.d/conda.sh