Richard Stallman, propre