@jeremyphoward
Meanwhile, a PR was created to fix it in 2024 (whilst still having the CPU-killer loop). It was auto-closed a month later. Finally in August this year someone re-opened it and merged it. (But still didn't close the issue.) https://t.co/Qq2K2ORbsh