Worksheet improvements#5230

smarter merged 3 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:worksheet-stuffdotty-staging/dotty:worksheet-stuffCopy head branch name to clipboard