On Fri, Jul 18, 2025 at 11:09:04AM +0200, René Scharfe wrote: > Use prio_queue to improve worst-case performance at the cost of slightly > worse best-case performance. Then add and use prio_queue_replace() to > recover that loss. > > Changes since v2: > [...] Thanks for fleshing out the test script. This version looks good to me. -Peff