When clicking "Run worksheet", the spinner appears but no output is ever produced. I suspect https://github.com/lampepfl/dotty/pull/5320 broke it.