4 ms·

While this is definitely really cool, wouldn't people who need this type of speed usually just store the text to be searched already case folded?