The first of 3 edits to unify platform detection

Author: miklevin

server.py

@@ -2943,23 +2943,11 @@ async def poke_flyout(request):
         Br(),
         Span('🖥️ Platform: ', Span('Detecting...', id='platform-info'), cls='version-info-text'),
         Script('''
-            // Platform detection for Mac keyboard shortcuts
             (function() {
-                const platform = navigator.platform.toLowerCase();
-                const userAgent = navigator.userAgent.toLowerCase();
-                let platformName = 'Unknown';
-                
-                if (platform.includes('mac') || userAgent.includes('mac')) {
-                    platformName = 'Mac';
-                } else if (platform.includes('win') || userAgent.includes('windows')) {
-                    platformName = 'Windows';
-                } else if (platform.includes('linux') || userAgent.includes('linux')) {
-                    platformName = 'Linux';
-                }
                 
                 const platformElement = document.getElementById('platform-info');
-                if (platformElement) {
-                    platformElement.textContent = platformName;
+                if (platformElement && window.CURRENT_PLATFORM_NAME) {
+                    platformElement.textContent = window.CURRENT_PLATFORM_NAME;
                 }
             })();
         '''),