@julian Do you have a link for what their proposed fix is? It's not obvious to me what they're planning, from that GitHub page.