Minor Steam Update - Nov 10, 2025

1) Allow manual selection of main vs mirror server from menu
2) Improved detection of connection failure and error handling