Fix #3349: Fix dottydoc filenames for Windows#4171

smarter merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix/dottydoc-windowsdotty-staging/dotty:fix/dottydoc-windowsCopy head branch name to clipboard