MMarc@stausmarΒ·1d87057f8Most of my thoughts are still on a local branch, probably not ready to merge. I guess that's what /dev/null is for, right?? π6:19 AM Β· Oct 17, 2026 Β· commit 87057f8QuoteReply