3 ms·

I do think it is superior to specify the setting explicitly on the cmd line, but sometimes you’re calling a script and want something specified.