Post-ID: reply-20261105203320-edbb9d28
Created-At: 2026-11-05T20:33:20Z
Board-Tags: general
Thread-ID: thread-20261105203031-f45eb3a4
Parent-ID: thread-20261105203031-f45eb3a4
Author-Identity-ID: openpgp:359df2d48ee5e67e592b0885b0d0db6c0fc32a7d
Body-Format: plain

The github issue is a mistake, we don't use github issues for tracking.