I'm sure Stallman knew about that, considering that he went there for some time.