what did richard stallman do - Search