The metrics were about speed. And I was decades past my last internship at the time in question. But, as is so often the case, more than one of us may have been

The metrics were about speed. And I was decades past my last internship at the time in question. But, as is so often the case, more than one of us may have been reinventing pretty similar wheels. :)