Sure, but it doesn’t add up to much useful time per person… Aggregate time saving across large numbers of people just seems like a fairly useless measure in general. To take it to an extreme, if you saved ten seconds in something everybody in the world does once or twice, you’d have saved a very large number of person years in aggregate but made basically no meaningful improvement to any individual’s life…