Drop a local path from a source comment

.github/workflows/check.yml

@@ -0,0 +1,45 @@
+name: Check
+
+# Builds the site for every pull request, the same way the deploy workflow does,
+# so that a change that breaks the build (a share-image headline that no longer
+# fits, a page that fails to render) shows up before it reaches main.
+
+on:
+  pull_request:
+    branches: [main]
+
+permissions:
+  contents: read
+
+concurrency:
+  group: check-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          # The sitemap's <lastmod> and the dates on doc pages come from git history.
+          fetch-depth: 0
+
+      # The pnpm version comes from package.json's packageManager, the same one
+      # a local `pnpm` switches to
+      - name: Setup pnpm
+        uses: pnpm/action-setup@v4
+
+      - name: Setup Node
+        uses: actions/setup-node@v4
+        with:
+          node-version: 22
+          cache: pnpm
+
+      - name: Install dependencies
+        run: pnpm install --frozen-lockfile
+
+      - name: Build site
+        run: pnpm build
+        env:
+          GITHUB_TOKEN: ${{ github.token }}

.github/workflows/deploy.yml

@@ -4,11 +4,16 @@ on:
   push:
     branches: [main]
   workflow_dispatch:
+  # Lite 页面上的下载按钮指向构建时查到的那一版安装包。Lite 发了新版之后，
+  # 不重新构建的话按钮会一直指着旧版本 —— 旧版照样能装、装上会自己更新，
+  # 但没理由让它停在那里。定时重建一次，最多晚三个小时跟上。
+  schedule:
+    - cron: "41 */3 * * *"
 
-permissions:
-  contents: read
-  pages: write
-  id-token: write
+# Each job gets only what it needs (below). The build runs third-party code from
+# npm with GITHUB_TOKEN in its environment, so it may only read; the Pages
+# permissions belong to the deploy job alone.
+permissions: {}
 
 concurrency:
   group: pages
@@ -17,14 +22,20 @@ concurrency:
 jobs:
   build:
     runs-on: ubuntu-latest
+    permissions:
+      contents: read
     steps:
       - name: Checkout
         uses: actions/checkout@v4
+        with:
+          # The sitemap's <lastmod> and the dates on doc pages come from git
+          # history; a shallow clone would leave them out.
+          fetch-depth: 0
 
+      # The pnpm version comes from package.json's packageManager, the same one
+      # a local `pnpm` switches to
       - name: Setup pnpm
         uses: pnpm/action-setup@v4
-        with:
-          version: 10
 
       - name: Setup Node
         uses: actions/setup-node@v4
@@ -37,6 +48,10 @@ jobs:
 
       - name: Build site
         run: pnpm build
+        env:
+          # The build reads versions and releases from the GitHub API; with a
+          # token the anonymous rate limit does not apply.
+          GITHUB_TOKEN: ${{ github.token }}
 
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v3
@@ -46,10 +61,40 @@ jobs:
   deploy:
     needs: build
     runs-on: ubuntu-latest
+    permissions:
+      pages: write # to deploy to GitHub Pages
+      id-token: write # to verify that the deployment comes from this workflow
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
     steps:
       - name: Deploy to GitHub Pages
         id: deployment
         uses: actions/deploy-pages@v4
+
+      # Tells the search engines that take IndexNow (Bing, which ChatGPT search
+      # and Copilot also use, Yandex and others) every address in the sitemap,
+      # so new and changed pages are crawled soon after a deploy. The key file
+      # in public/ shows the site is ours. Only for a push or a manual run:
+      # the scheduled rebuild every three hours would resubmit unchanged pages.
+      # A failed notification does not fail the deploy.
+      - name: Notify IndexNow
+        if: github.event_name != 'schedule'
+        continue-on-error: true
+        env:
+          INDEXNOW_KEY: f7c3fcca3acfc15fb46eca5e1fbde518
+        run: |
+          set -euo pipefail
+          curl -fsSL https://thinkwat.ch/sitemap-0.xml \
+            | grep -o '<loc>[^<]*</loc>' | sed -e 's/<loc>//' -e 's|</loc>||' > urls.txt
+          echo "$(wc -l < urls.txt) addresses"
+          python3 - <<'PY'
+          import json, os
+          urls = [u.strip() for u in open("urls.txt") if u.strip()]
+          key = os.environ["INDEXNOW_KEY"]
+          json.dump({"host": "thinkwat.ch", "key": key,
+                     "keyLocation": f"https://thinkwat.ch/{key}.txt", "urlList": urls},
+                    open("indexnow.json", "w"))
+          PY
+          curl -fsS -o /dev/null -w "IndexNow answered %{http_code}\n" -X POST https://api.indexnow.org/indexnow \
+            -H "Content-Type: application/json; charset=utf-8" --data @indexnow.json

astro.config.mjs

@@ -1,22 +1,148 @@
 // @ts-check
 import { defineConfig } from 'astro/config';
 import react from '@astrojs/react';
-import sitemap from '@astrojs/sitemap';
+import sitemap, { ChangeFreqEnum } from '@astrojs/sitemap';
 import tailwindcss from '@tailwindcss/vite';
+import rehypeSlug from 'rehype-slug';
+import rehypeAutolinkHeadings from 'rehype-autolink-headings';
+import { lastModified, pageReleases, pageSources } from './src/lib/lastmod.ts';
+import { getReleases } from './src/lib/github.ts';
+
+/**
+ * Wraps every markdown table in a container that scrolls sideways. The page
+ * clips horizontal overflow (global.css), so a table wider than a phone screen
+ * would otherwise be cut off rather than scroll.
+ */
+function rehypeScrollingTables() {
+  /** @param {any} node */
+  const visit = (node) => {
+    if (!Array.isArray(node.children)) return;
+    node.children = node.children.map((/** @type {any} */ child) => {
+      if (child.type === 'element' && child.tagName === 'table') {
+        // Focusable, like the code blocks, so that it can be scrolled from the keyboard.
+        return { type: 'element', tagName: 'div', properties: { className: ['table-scroll'], tabIndex: 0 }, children: [child] };
+      }
+      visit(child);
+      return child;
+    });
+  };
+  return (/** @type {any} */ tree) => visit(tree);
+}
 
 // https://astro.build/config
 export default defineConfig({
   site: 'https://thinkwat.ch',
+  // Pages that moved. GitHub Pages cannot answer with a redirect, so each old
+  // address is built as a page that sends the browser on (and is not indexed).
+  redirects: {
+    '/license': '/pricing',
+    '/zh-CN/license': '/zh-CN/pricing',
+  },
   i18n: {
     defaultLocale: 'en',
     locales: ['en', 'zh-CN'],
     routing: {
       prefixDefaultLocale: false,
     },
   },
-  integrations: [react(), sitemap({ i18n: { defaultLocale: 'en', locales: { en: 'en', 'zh-CN': 'zh-CN' } } })],
+  integrations: [
+    react(),
+    sitemap({
+      i18n: {
+        defaultLocale: 'en',
+        locales: { en: 'en', 'zh-CN': 'zh-CN' },
+      },
+      // The import page only reads the parameters of a link; it has nothing to index.
+      filter: (page) => !page.includes('/404') && !/\/(zh-CN\/)?import\/?$/.test(new URL(page).pathname),
+      async serialize(item) {
+        const url = new URL(item.url);
+        const pathname = url.pathname.replace(/\/$/, '') || '/';
+        const isHome = pathname === '/' || pathname === '/zh-CN';
+        const isDoc = pathname.startsWith('/docs/') || pathname.startsWith('/zh-CN/docs/');
+        const isDocsIndex = pathname === '/docs' || pathname === '/zh-CN/docs';
+        const isChangelog = pathname === '/changelog' || pathname === '/zh-CN/changelog';
+        // Product landing pages: ThinkWatch, ThinkWatch Lite, ThinkWatch Core.
+        const productPaths = ['/thinkwatch', '/lite', '/core'];
+        const isProduct = productPaths.some((p) => pathname === p || pathname === `/zh-CN${p}`);
+        const isPricing = pathname === '/pricing' || pathname === '/zh-CN/pricing';
+
+        if (isHome) {
+          item.priority = 1.0;
+          item.changefreq = ChangeFreqEnum.WEEKLY;
+        } else if (isProduct) {
+          item.priority = 0.9;
+          item.changefreq = ChangeFreqEnum.WEEKLY;
+        } else if (isDocsIndex) {
+          item.priority = 0.9;
+          item.changefreq = ChangeFreqEnum.WEEKLY;
+        } else if (isDoc) {
+          // Includes the product doc sets under /docs/lite/ and /docs/core/.
+          item.priority = 0.8;
+          item.changefreq = ChangeFreqEnum.MONTHLY;
+        } else if (isChangelog) {
+          item.priority = 0.7;
+          item.changefreq = ChangeFreqEnum.WEEKLY;
+        } else if (isPricing) {
+          item.priority = 0.6;
+          item.changefreq = ChangeFreqEnum.MONTHLY;
+        } else {
+          item.priority = 0.5;
+          item.changefreq = ChangeFreqEnum.MONTHLY;
+        }
+
+        // When the page's own files last changed in git, or the latest release
+        // of a product the page shows came out, whichever is later. Left out
+        // without git history: a release date alone does not say when the
+        // page itself last changed.
+        const committed = lastModified(pageSources(pathname));
+        if (committed) {
+          let latest = Date.parse(committed);
+          const products = pageReleases(pathname);
+          if (products.length) {
+            // Newest first: the first match is the latest release among them.
+            const release = (await getReleases()).find((r) => products.includes(r.product));
+            if (release) latest = Math.max(latest, Date.parse(release.date));
+          }
+          item.lastmod = new Date(latest).toISOString();
+        }
+        return item;
+      },
+    }),
+  ],
+  markdown: {
+    shikiConfig: {
+      theme: 'github-dark-default',
+      wrap: false,
+    },
+    rehypePlugins: [
+      rehypeScrollingTables,
+      rehypeSlug,
+      [
+        rehypeAutolinkHeadings,
+        {
+          behavior: 'append',
+          properties: {
+            className: ['heading-anchor'],
+            ariaLabel: 'Link to this section',
+          },
+          content: {
+            type: 'text',
+            value: '#',
+          },
+        },
+      ],
+    ],
+  },
   vite: {
     plugins: [tailwindcss()],
+    build: {
+      // Font files are always emitted as files (src/components/Fonts.astro).
+      // Vite would otherwise inline those under 4 KB, the smaller Unicode
+      // subsets of Geist, into the stylesheet as base64, and every page would
+      // download subsets it never uses before its first paint. Anything else
+      // keeps the default limit.
+      assetsInlineLimit: (file) => (/\.woff2?$/.test(file) ? false : undefined),
+    },
   },
   build: {
     inlineStylesheets: 'auto',

package.json

@@ -6,32 +6,42 @@
   "scripts": {
     "dev": "astro dev",
     "start": "astro dev",
-    "prebuild": "node scripts/generate-og.mjs && node scripts/generate-favicons.mjs",
-    "build": "astro build",
+    "prebuild": "node scripts/generate-favicons.mjs",
+    "build": "astro build && pnpm run pagefind",
+    "pagefind": "pagefind --site dist --output-path dist/pagefind",
     "preview": "astro preview",
-    "og": "node scripts/generate-og.mjs",
+    "releases": "node scripts/update-releases.mjs",
+    "core-docs": "node scripts/update-core-docs.mjs",
     "favicons": "node scripts/generate-favicons.mjs",
     "astro": "astro"
   },
   "dependencies": {
-    "@astrojs/react": "^4.2.0",
+    "@astrojs/react": "^5.0.2",
     "@astrojs/rss": "^4.0.10",
     "@astrojs/sitemap": "^3.2.1",
     "@react-three/drei": "^10.7.7",
     "@react-three/fiber": "^9.5.0",
     "@tailwindcss/vite": "^4.0.0",
-    "astro": "^5.1.0",
+    "astro": "^6.1.3",
     "react": "^19.0.0",
     "react-dom": "^19.0.0",
     "tailwindcss": "^4.0.0",
     "three": "^0.183.2"
   },
   "devDependencies": {
+    "@fontsource/geist": "^5.3.0",
+    "@fontsource/geist-mono": "^5.3.0",
+    "@types/fontkit": "^2.0.9",
     "@types/react": "^19.0.0",
     "@types/react-dom": "^19.0.0",
     "@types/three": "^0.183.1",
+    "fontkit": "^2.0.4",
+    "pagefind": "^1.5.0",
+    "rehype-autolink-headings": "^7.1.0",
+    "rehype-slug": "^6.0.0",
     "sharp": "^0.34.5",
     "shiki": "^4.0.2",
     "typescript": "^5.7.0"
-  }
+  },
+  "packageManager": "pnpm@10.34.6"
 }