完成 lau fau shan → shenzhen 全量重命名，前端库和文档同步更新

frontend/lib/dashboard-home-copy.ts

@@ -26,7 +26,7 @@ const CITY_NAME_ZH: Record<string, string> = {
   Jakarta: "雅加达",
   Jeddah: "吉达",
   Karachi: "卡拉奇",
-  "Lau Fau Shan": "流浮山",
+  "shenzhen": "深圳流浮山",
   London: "伦敦",
   Lucknow: "勒克瑙",
   Madrid: "马德里",
@@ -77,7 +77,7 @@ const AIRPORT_NAME_ZH: Record<string, string> = {
   Jakarta: "苏加诺-哈达国际机场",
   Jeddah: "阿卜杜勒-阿齐兹国王国际机场",
   Karachi: "真纳国际机场",
-  "Lau Fau Shan": "流浮山监测站",
+  "shenzhen": "深圳流浮山监测站",
   London: "希思罗机场",
   Lucknow: "乔杜里·查兰·辛格国际机场",
   Madrid: "马德里-巴拉哈斯机场",
@@ -107,7 +107,7 @@ const AIRPORT_NAME_ZH: Record<string, string> = {
 
 const AIRPORT_NAME_EN: Record<string, string> = {
   "Hong Kong": "Hong Kong Observatory HQ",
-  "Lau Fau Shan": "Lau Fau Shan Monitoring Station",
+  "shenzhen": "shenzhen Monitoring Station",
 };
 
 function normalizeCityKey(value: string | null | undefined) {

frontend/lib/dashboard-official-sources.ts

@@ -76,19 +76,19 @@ const CITY_SPECIFIC_SOURCES: Record<string, OfficialSourceLink[]> = {
       kind: "metar",
     },
     {
-      label: "流浮山站（HKO）",
+      label: "深圳流浮山站（HKO）",
       href: "https://www.hko.gov.hk/sc/wxinfo/ts/index.htm",
       kind: "agency",
     },
   ],
-  "lau fau shan": [
+  "shenzhen": [
     {
       label: "香港天文台",
       href: "https://www.hko.gov.hk/en/index.html",
       kind: "agency",
     },
     {
-      label: "流浮山站（HKO）",
+      label: "深圳流浮山站（HKO）",
       href: "https://www.hko.gov.hk/sc/wxinfo/ts/index.htm",
       kind: "airport",
     },

frontend/lib/observation-source-utils.ts

@@ -20,7 +20,7 @@ export function getObservationSourceCode(detail: CityDetail): string {
   if (
     city === "hong kong" ||
     city === "shek kong" ||
-    city === "lau fau shan"
+    city === "shenzhen"
   ) {
     return "hko";
   }

frontend/lib/scan-market-focus.ts

@@ -89,7 +89,7 @@ const CITY_REGION_FALLBACK: Record<string, MarketRegionKey> = {
   seoul: "asia_pacific",
   busan: "asia_pacific",
   "hong kong": "asia_pacific",
-  "lau fau shan": "asia_pacific",
+  "shenzhen": "asia_pacific",
   taipei: "asia_pacific",
   shanghai: "asia_pacific",
   singapore: "asia_pacific",