Modified stallman posts, other small English edits.