And the article really isn't about the man or his achievements. The term is named after Gruen, but I don't think he had all that much to do with it or wanted to

And the article really isn't about the man or his achievements. The term is named after Gruen, but I don't think he had all that much to do with it or wanted to be associated with it. I probably would have linked the first use of "Gruen" to his wikipedia page, but I understand why the author didn't. If you really care you can find it yourself and keeping the post focused is a good thing.