Fix #3009: unable to search for mixed case filenames#3577

gsnedders wants to merge 3 commits intoweb-platform-tests:mainweb-platform-tests/wpt.fyi:mainfrom

gsnedders:fix-3009-lowerCase-querygsnedders/wpt.fyi:fix-3009-lowerCase-queryCopy head branch name to clipboard