On Saturday, 25 October 2025 at 12:38:17 UTC, Richard (Rikki) Andrew Cattermole wrote: > What a wonderful month, and that's after my fast DFA was merged! I vaguely remember you talking about this before. What is the plan for this?