3 ms·

Thanks. People seem to be used to not working now on Fridays. It does happen occasionally when we have a big deadline, but not consistently.