Post-ID: reply-20260606230015-d157d216
Created-At: 2026-06-06T23:00:15Z
Board-Tags: general
Thread-ID: thread-20260606225937-5d7ee1d8
Parent-ID: thread-20260606225937-5d7ee1d8
Author-Identity-ID: openpgp:de4fc57460bd7fae53f8d4a5e9a718053ca004e2

Since the general tag is default, it should also be a default filter on the board page