Fix Documentation#3086

allanrenucci merged 2 commits intoscala:masterscala/scala3:masterfrom

allanrenucci:raymondtayallanrenucci/dotty:raymondtayCopy head branch name to clipboard