On 18-08-2022 22:46, Jack Hill wrote: > Friendly ping: what's the status of these patches? Are we waiting to > see if the extra functionaly can be provided as separate plug-in > packages so they won't clutter up the dependency graph? AFAIK, no, it would be useful but AFAIK not a blocker. AFAIK the only thing we are waiting for is for someone to commit the patches. Though as a reminder, I only looked at the patches, I didn't check the source diff for various forms of 'badness'. Greetings, Maxime.