@mikeneu and I stumbled into this improvement on the stream last week: https://www.youtube.com/watch?v=MrVMewBq0jE

(and shout out to @rdela who encouraged contributing the fixes upstream!)