3 ms·

Thanks for that, as well as all the other contributors - I've been using Arch for about 1 year now and I'm so much happier than I have been with anything else.