Removed personal thing from Tastydoc#7672

nicolasstucki merged 1 commit intoscala:masterscala/scala3:masterfrom

BryanAbate:cleaning-tastydocBryanAbate/dotty:cleaning-tastydocCopy head branch name to clipboard