FYI the libmamba solver released last year is way faster than the classic one at modifying environments.