Scaladoc: Add source links to dotty library. Add icons to givens#11714

romanowski merged 1 commit intomasterscala/scala3:masterfrom

scaladoc/sourcelinks-iconsscala/scala3:scaladoc/sourcelinks-iconsCopy head branch name to clipboard