I suppose that a simple workaround would be to check for presence of both the uppercase and lowercase variant of any letters in the EXTBAN= token. UnrealIRCd would have both 'r' and 'R', which would never be the case on a network that treats them as case-insensitive. Not that I'm advocating supporting all these weird UnrealIRCd features..
