BUG: Fix wrong miniconda link.