back to Scala 3.2.0 for now, since 3.2.1 causes odd crash of REPL concerning value classes (e.g. "isabelle.Time.now()");
enforce rebuild of Isabelle/ML + Isabelle/Scala;