2 ms·

which is all the more surprising considering Steam and many of its games work on Linux, which is case-sensitive!