I originally tried binstall but it seemed to not work with our corporate proxy. However, I decided to give it another go after seeing your comment. Now, it wor

I originally tried binstall but it seemed to not work with our corporate proxy. However, I decided to give it another go after seeing your comment. Now, it works great! I tried it with a mise update, and it pulled down the right binary with no proxy problems. Thank you for the reminder and recommendation, much appreciated!!