Thanks. That was as or more apropos as the comment you replied to, and much more valuable. 60 seconds' worth of interest and congratulations would have gotten

Thanks. That was as or more apropos as the comment you replied to, and much more valuable. 60 seconds' worth of interest and congratulations would have gotten dozens of hours of extra productivity out of me. Hundreds, probably, thousands maybe. It's hard to overestimate the value in these things. Except, of course, on HN. So, to reiterate, other people are not machines.