jsteinhardt comments on How much slower is remote work?