bing! (4 letters); which is way more efficient than google (6 letters); kind of like one of those how many jelly beans in a jar(?) questions. there is some amount of estimate to the calculation/conclusion, but my guesstimate would be the average person saves over 11,000 keystrokes per year. That’s a lot; and just think of all that time saved. quite efficient.
(to be continued)