Richard Stallman tritt zurück.