ios client for sourcehut. swiftui. http://git.krz.sh/krz/hutch.git/atom?h=v3.10.0 2026-08-07T08:27:37+00:00 2026-08-07T08:27:37+00:00 Christian Cleberg hello@cleberg.net 2026-08-07T08:27:37+00:00 urn:sha1:89c90d11d80fde63997ca029e14806df0319a541 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.