Sync bundled man page catalog from man.sr.ht (#7)

The More tab's official man-page list was a hardcoded array, updated by
hand. Move it to a checked-in Hutch/Resources/man-pages.json (bundled via
the synchronized group) loaded by a new ManPageCatalog, with the previous
list kept as a built-in fallback.

Add scripts/sync_man_pages.py, which re-derives the catalog from the
man.sr.ht landing page, and a weekly scheduled workflow that runs it and
opens a pull request when the list diverges upstream. The script refuses to
write a suspiciously short list so a markup change can't gut the catalog.

This first sync also picks up chat.sr.ht, which upstream added since the
list was last hand-edited. Tests cover catalog loading, the fallback, and
JSON decoding.

1 files changed, 50 insertions, 0 deletions

diff --git a/Hutch/Resources/man-pages.json b/Hutch/Resources/man-pages.json
new file mode 100644
index 0000000..7adf284
--- /dev/null
+++ b/Hutch/Resources/man-pages.json
@@ -0,0 +1,50 @@
+[
+  {
+    "title": "builds.sr.ht",
+    "url": "https://man.sr.ht/builds.sr.ht/"
+  },
+  {
+    "title": "chat.sr.ht",
+    "url": "https://man.sr.ht/chat.sr.ht/"
+  },
+  {
+    "title": "git.sr.ht",
+    "url": "https://man.sr.ht/git.sr.ht/"
+  },
+  {
+    "title": "hg.sr.ht",
+    "url": "https://man.sr.ht/hg.sr.ht/"
+  },
+  {
+    "title": "hub.sr.ht",
+    "url": "https://man.sr.ht/hub.sr.ht/"
+  },
+  {
+    "title": "lists.sr.ht",
+    "url": "https://man.sr.ht/lists.sr.ht/"
+  },
+  {
+    "title": "man.sr.ht",
+    "url": "https://man.sr.ht/man.sr.ht/"
+  },
+  {
+    "title": "meta.sr.ht",
+    "url": "https://man.sr.ht/meta.sr.ht/"
+  },
+  {
+    "title": "paste.sr.ht",
+    "url": "https://man.sr.ht/paste.sr.ht/"
+  },
+  {
+    "title": "sr.ht",
+    "url": "https://man.sr.ht/sr.ht/"
+  },
+  {
+    "title": "srht.site",
+    "url": "https://srht.site/"
+  },
+  {
+    "title": "todo.sr.ht",
+    "url": "https://man.sr.ht/todo.sr.ht/"
+  }
+]