Scaladoc: Make member filtering case-insensitive#14430

pikinier20 merged 1 commit intoscala:mainscala/scala3:mainfrom

jchyb:scaladoc/fix-i14421jchyb/dotty:scaladoc/fix-i14421Copy head branch name to clipboard