Richard Stallmans høye hest.