DJDominic Jäggi@dominicjaeggi·1d251e7a1Nice number 😉 Optimistically speaking, 4/5 is done.10:18 · Nov 7, 2026 · commit 251e7a1QuoteReply