### Note The following might be relevant: - https://github.com/rust-lang/rustup/issues/3709 - https://github.com/leanprover/elan/pull/121 - #4606