documentation: use more intuitive value to compare against#7134

vn971 wants to merge 1 commit intoscala:masterscala/scala3:masterfrom

vn971:patch-1vn971/dotty:patch-1Copy head branch name to clipboard