actor: Richard M. Stallman