The Mamba installation instructions are confusing. We should add instructions how to properly install it for newcomers. In the long term, we might switch to Conda again, which is easier to install.