On 1/13/26 17:07, Thorsten Leemhuis wrote: > I thought about this for a while, but in the end I this section and the > one from 4/30 are worth it.
And having slept about this once more, I after my reply yesterday now think it might be wise to merge the important parts from 4/30 into this patch -- that should get things shorter and still get across chat I care about. Sorry, took me a moment to realize that. Ciao, Thorsten
