10 okt. 2020 kl. 18.24 skrev Mattias Engdegård : > This seems both useful and straightforward to implement and understand. I've attached a patch (lacking documentation but otherwise complete) -- is it what you had in mind? Sorry, here is that patch.