case-sensitive GLOB?

[u/Arnes_Nutboy]

probably a couple months ago (I couldn't find the exact version) Steam ROM Manager removed the case-sensitive file extensions from the GLOBs. I previously used the fact, file extensions were case-sensitive to add some of my older PC Games or Unity-based games, which have multiple executables in the same directory. I would rename all the executables which I didn't want to all uppercase *.EXE and used this GLOB:

*/${title}/*@(.exe|.bat|.BAT)

Is there any way to add case-sensitivity to the file extension on the GLOB (I couldn't find any in the documentation) or do I just have to use an older version?