5 ms·

This seems likely to me. Apparently the office staff and HR teams are down to 1 person each. Previously it was about 10-15 people.