- support built-in and user-defined GitHub mirror sources - add a modal for managing custom HTTPS mirror prefixes - automatically switch sources when version checks fail - persist the working source and sync the selector in real time - update translations, configuration migration, and source tests