Make it clearer that the extra shield is for documentation#7256

nicolasstucki merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:add-website-deadlink-checkdotty-staging/dotty:add-website-deadlink-checkCopy head branch name to clipboard