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