On a lark, he wrote it up as patentable innovation. His boss thought it was funny and approved it. So did the lawyers. He ended up with one of the little plaques they gave employees for patents. And maybe a cash bonus? It was long enough ago that I forget. But apparently that's what IBM does: https://news.ycombinator.com/item?id=17835839