chore: snapshot current intranet work

scripts/setup_windows_portproxy.cmd

@@ -1,6 +1,20 @@
 @echo off
 setlocal
 
+net session >nul 2>&1
+if not "%errorlevel%"=="0" (
+  echo This script must be run as Administrator.
+  echo.
+  echo 1. Open Windows Start menu.
+  echo 2. Type cmd.
+  echo 3. Right-click Command Prompt and choose "Run as administrator".
+  echo 4. Run this command:
+  echo    %~f0 %*
+  echo.
+  pause
+  exit /b 1
+)
+
 set SCRIPT_DIR=%~dp0
 set WSL_IP=%~1
 set PORT=%~2