@danielpunkass Favoring streaming would’ve been a better step, true. Now they’re screwed: current backtracking -> hard to change anything.