ms22-21: Change to use https for both mint and redbox.