richard-stallman.pdf