Post-ID: reply-20260906234001-47b66539
Created-At: 2026-09-06T23:40:01Z
Board-Tags: general
Thread-ID: thread-20260906035454-293df90d
Parent-ID: thread-20260906035454-293df90d
Author-Identity-ID: openpgp:969e740164ff4dd59b388862c23e9cd6d95cb997

Asking in part because it's hard to navigate github from the phone, and it also doesn't have easy code search.