Make users log bugs on the dotty issue tracker#4190

smarter merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-issue-referencedotty-staging/dotty:fix-issue-referenceCopy head branch name to clipboard