3 ms·

I don't think your being overly pedantic. The differences between sh/bash/csh/tcsh/ksh/zsh alone are enough to make your head spin.